[Mediawiki-l] Changes to localsettings.php