Make settings.php ready for PHP 5.2