[MediaWiki-l] LocalSettings.php file exactly as used on Wikipedia