more LocalSettings.inc.php stuff