Huji has uploaded a new change for review.
https://gerrit.wikimedia.org/r/316288
Change subject: Update.php should allow for a wiki parameter
......................................................................
Update.php should allow for a wiki parameter
Bug: T147817
Change-Id: I984d64db5ed4622e5976c0162a9ea8f386f58a39
---
M maintenance/Maintenance.php
1 file changed, 6 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/88/316288/1
diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index 1cb5eef..3bf6e63 100644
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -475,6 +475,7 @@
$this->addOption( 'server', "The protocol and server name to
use in URLs, e.g. " .
"http://en.wikipedia.org. This is sometimes necessary
because " .
"server name detection may fail in command line
scripts.", false, true );
+ $this->addOption( 'domain', "Domain name for the wiki being
updated (only used for wiki families)", false, true );
$this->addOption( 'profiler', 'Profiler output format (usually
"text")', false, true );
# Save generic options to display them separately in help
@@ -927,6 +928,11 @@
* Handle the special variables that are global to all scripts
*/
protected function loadSpecialVars() {
+ global $serverName;
+
+ if ( $this->hasOption( 'domain' ) ) {
+ $serverName = $this->getOption( 'domain' );
+ }
if ( $this->hasOption( 'dbuser' ) ) {
$this->mDbUser = $this->getOption( 'dbuser' );
}
--
To view, visit https://gerrit.wikimedia.org/r/316288
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I984d64db5ed4622e5976c0162a9ea8f386f58a39
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Huji <huji.h...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
