git-svn-id: https://simplesamlphp.googlecode.com/svn/trunk@1276 44740490-163a-0410-bde0-09ae8108e29a