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

build: Update devDependencies

Browse source 
eslint-config-wikimedia      0.5.0  →   0.8.1
 grunt-eslint                20.1.0  →  21.0.0
 grunt-stylelint              0.9.0  →  0.10.1
 stylelint                    8.2.0  →   9.2.0
 stylelint-config-wikimedia   0.4.2  →   0.4.3

Change-Id: I4c39a42f84303ee0d5d66032bf4cacd9e90821e9
This commit is contained in:
Ed Sanders 2018-11-03 13:14:53 +00:00 committed by jenkins-bot
parent ff51327970
commit 9619727f3c
4 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.eslintrc.json
View file

@ -5,6 +5,6 @@
"jquery": true
},
"globals": {
"mediaWiki": false
"mw": false
}
}

4
modules/ext.scribunto.edit.js
View file

@ -1,6 +1,6 @@
/* eslint-disable no-use-before-define */
( function ( $, mw ) {
( function () {
/**
* Debug console
@ -395,4 +395,4 @@
}
} );
}( jQuery, mediaWiki ) );
}() );

4
modules/ext.scribunto.errors.js
View file

@ -1,4 +1,4 @@
( function ( $, mw ) {
( function () {
mw.hook( 'wikipage.content' ).add( function () {
var errors = mw.config.get( 'ScribuntoErrors' ),
@ -38,4 +38,4 @@
} );
} );
}( jQuery, mediaWiki ) );
}() );

10
package.json
View file

@ -4,13 +4,13 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.5.0",
"eslint-config-wikimedia": "0.8.1",
"grunt": "1.0.3",
"grunt-banana-checker": "0.6.0",
"grunt-eslint": "20.1.0",
"grunt-eslint": "21.0.0",
"grunt-jsonlint": "1.1.0",
"grunt-stylelint": "0.9.0",
"stylelint": "8.2.0",
"stylelint-config-wikimedia": "0.4.2"
"grunt-stylelint": "0.10.1",
"stylelint": "9.2.0",
"stylelint-config-wikimedia": "0.4.3"
}
}