build: Update to eslint-config-wikimedia 0.10.1

Change-Id: Ie4363abc9c60291ef4a69f35973f3c25f5e3a3ec
2019-02-09 18:17:44 +00:00 · 2019-02-09 18:17:44 +00:00 · e09e880e2f
parent 317127137d
commit e09e880e2f
2 changed files with 4 additions and 1 deletions
--- a/Gruntfile.js
+++ b/Gruntfile.js
@ -8,6 +8,9 @@ module.exports = function ( grunt ) {

 	grunt.initConfig( {
 		eslint: {
+			options: {
+				reportUnusedDisableDirectives: true
+			},
 			all: [
 				'*.js',
 				'**/*.js',
--- a/package.json
+++ b/package.json
@ -5,7 +5,7 @@
 		"doc": "jsduck"
 	},
 	"devDependencies": {
-		"eslint-config-wikimedia": "0.10.0",
+		"eslint-config-wikimedia": "0.10.1",
 		"grunt": "1.0.3",
 		"grunt-banana-checker": "0.7.0",
 		"grunt-eslint": "21.0.0",