/**
* This method is mainly used in testing.
*/
static function overwrite_configuration($conf)
{
if ($conf !== null) {
$current_config = self::config();
self::$configuration = array_merge($current_config, $conf);
} else {
// null passed; delete configuration
self::$configuration = null;
}
}
