SimpleSAMLphp (fork of https://simplesamlphp.googlecode.com)