[Mediawiki-l] LocalSettings.php for Windows