has a LocalSettings.php