For wiki families that use the "Wikimedia Method" to have domain dependant wikis
the server variable 'SERVER_NAME' might be used to get the database name.
c.f. https://www.mediawiki.org/wiki/Manual:Wiki_family#Wikimedia_Method
This change sets $_SERVER['SERVER_NAME'] to the commandline option passed
as --server to enable the correct loading of the LocalSettings.php
Change-Id: I7e5c009c2403f6c93e81422a8376d7deee4d2b5a
"must exist and be readable in the source directory.\n" .
"Use --conf to specify it.", true );
}
+ if ( isset( $this->mOptions['server'] ) ) {
+ $_SERVER['SERVER_NAME'] = $this->mOptions['server'];
+ }
$wgCommandLineMode = true;
return $settingsFile;