Krinkle has uploaded a new change for review.

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


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(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/60/59360/1

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: newchange
Gerrit-Change-Id: Ifb55efae5f4ff10ffe1873bdf02d43aa2d61857a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_20
Gerrit-Owner: Krinkle <krinklem...@gmail.com>

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

Reply via email to