Checking for modifications to default.settings.php