build: Update linters

Change-Id: I0ef2bb7adb4d33ce2ad70199afab58bc2b075e54
This commit is contained in:
Ed Sanders 2018-09-13 21:41:51 +01:00
parent d82b0630e0
commit d2d92e16f9
2 changed files with 9 additions and 9 deletions

View file

@ -2,8 +2,7 @@
"extends": "wikimedia", "extends": "wikimedia",
"env": { "env": {
"browser": true, "browser": true,
"jquery": true, "jquery": true
"qunit": true
}, },
"globals": { "globals": {
"ve": true, "ve": true,
@ -12,6 +11,7 @@
"OO": false "OO": false
}, },
"rules": { "rules": {
"dot-notation": [ "error", { "allowKeywords": true } ] "dot-notation": [ "error", { "allowKeywords": true } ],
"max-len": 0
} }
} }

View file

@ -6,15 +6,15 @@
"selenium-test": "wdio tests/selenium/wdio.conf.js" "selenium-test": "wdio tests/selenium/wdio.conf.js"
}, },
"devDependencies": { "devDependencies": {
"eslint-config-wikimedia": "0.5.0", "eslint-config-wikimedia": "0.8.1",
"grunt": "1.0.1", "grunt": "1.0.3",
"grunt-banana-checker": "0.6.0", "grunt-banana-checker": "0.6.0",
"grunt-contrib-watch": "1.0.0", "grunt-contrib-watch": "1.0.0",
"grunt-eslint": "20.1.0", "grunt-eslint": "21.0.0",
"grunt-jsonlint": "1.1.0", "grunt-jsonlint": "1.1.0",
"grunt-stylelint": "0.9.0", "grunt-stylelint": "0.10.1",
"stylelint": "8.2.0", "stylelint": "9.2.0",
"stylelint-config-wikimedia": "0.4.2", "stylelint-config-wikimedia": "0.4.3",
"wdio-mediawiki": "0.1.7", "wdio-mediawiki": "0.1.7",
"wdio-mocha-framework": "0.5.8", "wdio-mocha-framework": "0.5.8",
"wdio-spec-reporter": "0.0.5", "wdio-spec-reporter": "0.0.5",