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

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index 174b973..ec54993 100644 (file)
--- 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;