Lucas Werkmeister (WMDE) has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/357991 )

Change subject: Make /* globals */ directive unnecessary
......................................................................

Make /* globals */ directive unnecessary

eslint already knows about the global variables mediaWiki, jQuery and
OO, so if we use the long names instead of $ and mw, the globals
directive can be removed completely.

Change-Id: I20efe3759c6cb3c6d6a9e2397c784c18846058ce
---
M docs/user.js
1 file changed, 1 insertion(+), 3 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikibaseQualityConstraints
 refs/changes/91/357991/1

diff --git a/docs/user.js b/docs/user.js
index 2e7ca3a..6868f79 100644
--- a/docs/user.js
+++ b/docs/user.js
@@ -1,5 +1,3 @@
-/* globals mw, $, OO */
-
 ( function( mw, $, OO ) {
        'use strict';
 
@@ -123,4 +121,4 @@
                        } );
                } );
        }
-} )( mw, $, OO );
+} )( mediaWiki, jQuery, OO );

-- 
To view, visit https://gerrit.wikimedia.org/r/357991
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I20efe3759c6cb3c6d6a9e2397c784c18846058ce
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints
Gerrit-Branch: master
Gerrit-Owner: Lucas Werkmeister (WMDE) <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to