Manual:DefaultSettings.php