Chad has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/332673 )
Change subject: Stop using MWMinimalScriptInit
......................................................................
Stop using MWMinimalScriptInit
It was a one-off entry point designed for this script. However,
MWScript can now support loading exactly the way we're intending
so just use that directly
Depends-On: I5c1cc0f705363f469531d2be066665899b36fe18
Change-Id: If816f22a025af7d33669b206dccacd747e376ed4
---
M modules/mediawiki/files/mwrepl
1 file changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/73/332673/1
diff --git a/modules/mediawiki/files/mwrepl b/modules/mediawiki/files/mwrepl
index 04a3937..e72eca1 100755
--- a/modules/mediawiki/files/mwrepl
+++ b/modules/mediawiki/files/mwrepl
@@ -33,10 +33,10 @@
usage "Unknown wiki: $MW_WIKI"
fi
-PROLOGUE="MW_WIKI=${MW_WIKI} MEDIAWIKI_WEB_USER=${MEDIAWIKI_WEB_USER}"
+PROLOGUE="MW_WIKI=${MW_WIKI} MEDIAWIKI_WEB_USER=${MEDIAWIKI_WEB_USER}
MEDIAWIKI_MAINT_INIT_ONLY=1"
if [[ $USER != $MEDIAWIKI_WEB_USER ]]; then
PROLOGUE="/usr/bin/sudo -u ${MEDIAWIKI_WEB_USER} ${PROLOGUE}"
fi
-$PROLOGUE /usr/bin/hhvm --mode=debug
--debug-extension="${MEDIAWIKI_DEPLOYMENT_DIR_DIR_USE}/multiversion/MWMinimalScriptInit.php"
+$PROLOGUE /usr/bin/hhvm --mode=debug
--debug-extension="${MEDIAWIKI_DEPLOYMENT_DIR_DIR_USE}/multiversion/MWScript.php"
--
To view, visit https://gerrit.wikimedia.org/r/332673
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If816f22a025af7d33669b206dccacd747e376ed4
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <ch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
