Properly genericize LocalSettings.php