jenkins-bot has submitted this change and it was merged.
Change subject: Correctly identify the wikigrok version
......................................................................
Correctly identify the wikigrok version
Change-Id: I7a6aec8680422b7e6275cc8512890597de955798
---
M resources/startup/init.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Phuedx: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/startup/init.js b/resources/startup/init.js
index 93e888a..e8f7121 100644
--- a/resources/startup/init.js
+++ b/resources/startup/init.js
@@ -103,7 +103,7 @@
if (
mw.util.getParamValue( 'wikidataid' ) ||
mw.util.getParamValue( 'wikigrokversion' ) ||
- versionConfigs.name === 'c'
+ versionConfig.name === 'c'
) {
return true;
}
--
To view, visit https://gerrit.wikimedia.org/r/204556
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7a6aec8680422b7e6275cc8512890597de955798
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiGrok
Gerrit-Branch: master
Gerrit-Owner: Bmansurov <bmansu...@wikimedia.org>
Gerrit-Reviewer: Phuedx <g...@samsmith.io>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
