wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Update eslint-config-wikimedia to 0.11.0

Browse source 
Change-Id: I5cd1842820b8d70484716c9adf5080cb33008f51
This commit is contained in:
Ed Sanders 2019-03-13 22:45:20 +00:00
parent b5c8891c29
commit be24835f03
4 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.eslintrc.json
View file

@ -13,6 +13,6 @@
},
"rules": {
"max-len": "off",
"jquery/no-global-selector": "off"
"no-jquery/no-global-selector": "off"
}
}

1
.gitignore vendored
View file

@ -1,6 +1,7 @@
composer.lock
vendor
node_modules/
.eslintcache
# Editors
*.kate-swp

3
Gruntfile.js
View file

@ -9,7 +9,8 @@ module.exports = function ( grunt ) {
grunt.initConfig( {
eslint: {
options: {
reportUnusedDisableDirectives: true
reportUnusedDisableDirectives: true,
cache: true
},
all: [
'**/*.js',

2
package.json
View file

@ -4,7 +4,7 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.10.1",
"eslint-config-wikimedia": "0.11.0",
"grunt": "1.0.3",
"grunt-banana-checker": "0.7.0",
"grunt-eslint": "21.0.0",