Reedy has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/315828

Change subject: Hack for making sure $wgJsonConfigs['JsonZeroConfig'] is set 
late enough
......................................................................

Hack for making sure $wgJsonConfigs['JsonZeroConfig'] is set late enough

Change-Id: Ifd05c6ab8ffb70131bf82089be2ba263f1631774
---
M wmf-config/mobile.php
1 file changed, 10 insertions(+), 6 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/28/315828/1

diff --git a/wmf-config/mobile.php b/wmf-config/mobile.php
index 7a84ddd..bc48216 100644
--- a/wmf-config/mobile.php
+++ b/wmf-config/mobile.php
@@ -34,12 +34,16 @@
                require_once( "$IP/extensions/JsonConfig/JsonConfig.php" );
                require_once( "$IP/extensions/ZeroBanner/ZeroBanner.php" );
 
-               $wgJsonConfigs['JsonZeroConfig']['isLocal'] = false;
-               $wgJsonConfigs['JsonZeroConfig']['remote'] = [
-                       'url' => 'https://zero.wikimedia.org/w/api.php',
-                       'username' => $wmgZeroPortalApiUserName,
-                       'password' => $wmgZeroPortalApiPassword,
-               ];
+               // HACK
+               $wgExtensionFunctions[] = function () {
+                       global $gJsonConfigs, $wmgZeroPortalApiUserName, 
$wmgZeroPortalApiPassword;
+                       $wgJsonConfigs['JsonZeroConfig']['isLocal'] = false;
+                       $wgJsonConfigs['JsonZeroConfig']['remote'] = [
+                               'url' => 'https://zero.wikimedia.org/w/api.php',
+                               'username' => $wmgZeroPortalApiUserName,
+                               'password' => $wmgZeroPortalApiPassword,
+                       ];
+               }
 
                // @TODO: which group(s) on all wikies should Zero allow to 
flush cache?
                $wgGroupPermissions['sysop']['jsonconfig-flush'] = true;

-- 
To view, visit https://gerrit.wikimedia.org/r/315828
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ifd05c6ab8ffb70131bf82089be2ba263f1631774
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to