Configuration.php: Avoid notice in error logs if an configuration option isn't set in config.php.
Configuration.php: Avoid notice in error logs if an configuration option isn't set in config.php.


Rud5G/simplesamlphp,Rud5G/simplesamlphp,Rud5G/simplesamlphp,Rud5G/simplesamlphp