A global settings.php file