From 2de3bf45d12d8d279ae13675500b4ffde65bf5fa Mon Sep 17 00:00:00 2001 From: physikerwelt Date: Mon, 21 Dec 2015 14:29:02 +0100 Subject: [PATCH] Set $_SERVER['SERVER_NAME'] to the value set by --server 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 --- maintenance/Maintenance.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php index 174b9732dd..ec5499363e 100644 --- a/maintenance/Maintenance.php +++ b/maintenance/Maintenance.php @@ -1170,6 +1170,9 @@ abstract class Maintenance { "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; -- 2.20.1