jenkins-bot has submitted this change and it was merged.
Change subject: Ensure mw.user is available to WikiGrok
......................................................................
Ensure mw.user is available to WikiGrok
Avoid undefined issues on startup when debug=true
Change-Id: Ic4c60ac561bb16cf402de5f35fec7f02702f8ddc
---
M includes/Resources.php
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Kaldari: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Resources.php b/includes/Resources.php
index b9437ec..05bc085 100644
--- a/includes/Resources.php
+++ b/includes/Resources.php
@@ -551,6 +551,9 @@
),
'mobile.wikigrok' => $wgMFMobileResourceBoilerplate + array(
+ 'dependencies' => array(
+ 'mobile.user',
+ ),
'scripts' => array(
'javascripts/modules/wikigrok/wikigrok.js',
),
--
To view, visit https://gerrit.wikimedia.org/r/163022
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic4c60ac561bb16cf402de5f35fec7f02702f8ddc
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: JGonera <[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
