Avoid use of create_function, deprecated in PHP 7.2.
Avoid use of create_function, deprecated in PHP 7.2.

Fixes #656

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