Customizations should be added in LocalSettings.php, not in DefaultSettings.php.