Use array_shift rather than array_values
Use array_shift rather than array_values

dnmvisser/simplesamlphp,simplesamlphp/simplesamlphp,ghalse/simplesamlphp,simplesamlphp/simplesamlphp,ghalse/simplesamlphp,dnmvisser/simplesamlphp,simplesamlphp/simplesamlphp,dnmvisser/simplesamlphp,ghalse/simplesamlphp,dnmvisser/simplesamlphp,ghalse/simplesamlphp,simplesamlphp/simplesamlphp