Improve performance of settings.php