A fork of SimpleSAMLphp for personal use