[development] Patching settings.php