jenkins-bot has submitted this change and it was merged. Change subject: Map config var for $wgMFEnableWikiGrok ......................................................................
Map config var for $wgMFEnableWikiGrok Change-Id: Iec209bde0fc678bec0e133bd47a7c94adb34dac9 --- M wmf-config/mobile-labs.php 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Kaldari: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/mobile-labs.php b/wmf-config/mobile-labs.php index 2df771a..10b1c11 100644 --- a/wmf-config/mobile-labs.php +++ b/wmf-config/mobile-labs.php @@ -17,3 +17,4 @@ $wgMFForceSecureLogin = false; $wgMFUseCentralAuthToken = $wmgMFUseCentralAuthToken; +$wgMFEnableWikiGrok = $wmgMFEnableWikiGrok; -- To view, visit https://gerrit.wikimedia.org/r/158816 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iec209bde0fc678bec0e133bd47a7c94adb34dac9 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Kaldari <[email protected]> Gerrit-Reviewer: Kaldari <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
