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

build: Update linters

Browse source 
Change-Id: I49341cfd5312300dd089af07a24fcceee3d1da3a
This commit is contained in:
Ed Sanders 2018-02-04 22:08:03 +00:00
parent d23bb50d71
commit cf04d091ce
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
package.json
View file

@ -4,10 +4,10 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.4.0",
"eslint-config-wikimedia": "0.5.0",
"grunt": "1.0.1",
"grunt-banana-checker": "0.6.0",
"grunt-eslint": "19.0.0",
"grunt-eslint": "20.1.0",
"grunt-jsonlint": "1.1.0"
}
}