Re: [development] Patching settings.php