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

build: Update devDependencies

Browse source 
Change-Id: I9f60c53af58575a2c39afe35c7ec443923519965
This commit is contained in:
Ed Sanders 2019-02-10 15:53:26 +00:00
parent 5fa2aeae65
commit d0b9ed9167
2 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Gruntfile.js
View file

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

4
package.json
View file

@ -7,9 +7,9 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.8.1",
"eslint-config-wikimedia": "0.10.1",
"grunt": "1.0.3",
"grunt-banana-checker": "0.6.0",
"grunt-banana-checker": "0.7.0",
"grunt-eslint": "21.0.0",
"grunt-jsonlint": "1.1.0"
}