Manual:DevelopmentSettings.php