include extra LocalSettings.php in mediawiki setup script