Replace faulty colon with a semi-colon
Replace faulty colon with a semi-colon

Closes https://github.com/simplesamlphp/simplesamlphp/issues/962
dnmvisser/simplesamlphp,ghalse/simplesamlphp,ghalse/simplesamlphp,simplesamlphp/simplesamlphp,simplesamlphp/simplesamlphp,dnmvisser/simplesamlphp,dnmvisser/simplesamlphp,ghalse/simplesamlphp,dnmvisser/simplesamlphp,simplesamlphp/simplesamlphp,ghalse/simplesamlphp,simplesamlphp/simplesamlphp