Manual:LocalSettingsLoader.php