RE: [development] Patching settings.php