eslint: Turn on reportUnusedDisableDirectives
authorEd Sanders <esanders@wikimedia.org>
Fri, 14 Dec 2018 14:22:26 +0000 (14:22 +0000)
committerEd Sanders <esanders@wikimedia.org>
Fri, 14 Dec 2018 14:22:26 +0000 (14:22 +0000)
commitb61faa75a9359267828c59e13e18babee8bc1a5d
tree9ca83f9af1904f1e1c259828338a5d0798a66c4c
parente9bc2cb5ffe4f096e59bb635c3e1f7e9c9fdce3a
eslint: Turn on reportUnusedDisableDirectives

Change-Id: I3fb88324ba5a46e44041c13eb6447c8e33f4e79b
Gruntfile.js
resources/src/mediawiki.rcfilters/dm/mw.rcfilters.dm.FilterGroup.js
resources/src/startup/mediawiki.js