Krinkle has submitted this change and it was merged.
Change subject: jshint: Allow global mw to be set in mediawiki.js
......................................................................
jshint: Allow global mw to be set in mediawiki.js
In master this has been cleaned up, but in REL1_20 we still used
the 'mw' global directly in a bunch of placed so we need to tell
jshint that it is okay for it to be set in mediawiki.js
It is currently complaining about redefinition because of this.
Change-Id: Ifb55efae5f4ff10ffe1873bdf02d43aa2d61857a
---
M resources/mediawiki/mediawiki.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Verified; Looks good to me, approved
Catrope: Looks good to me, approved
diff --git a/resources/mediawiki/mediawiki.js b/resources/mediawiki/mediawiki.js
index 1a72ed1..19112ae 100644
--- a/resources/mediawiki/mediawiki.js
+++ b/resources/mediawiki/mediawiki.js
@@ -1,7 +1,7 @@
/*
* Core MediaWiki JavaScript Library
*/
-
+/*global mw:true */
var mw = ( function ( $, undefined ) {
"use strict";
--
To view, visit https://gerrit.wikimedia.org/r/59360
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifb55efae5f4ff10ffe1873bdf02d43aa2d61857a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_20
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
