Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set $_SERVER['SERVER_NAME'] to the value set by --server

Browse source 
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
This commit is contained in:
physikerwelt 2015-12-21 14:29:02 +01:00 committed by Physikerwelt
parent 6f9738d832
commit 2de3bf45d1
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
maintenance/Maintenance.php
View file

@ -1170,6 +1170,9 @@ abstract class Maintenance {
"must exist and be readable in the source directory.\n" . "must exist and be readable in the source directory.\n" .
"Use --conf to specify it.", true ); "Use --conf to specify it.", true );
} }
if ( isset( $this->mOptions['server'] ) ) {
$_SERVER['SERVER_NAME'] = $this->mOptions['server'];
}
$wgCommandLineMode = true; $wgCommandLineMode = true;
return $settingsFile; return $settingsFile;