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

Merge "build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0"

Browse source
This commit is contained in:
jenkins-bot 2019-04-05 23:07:11 +00:00 committed by Gerrit Code Review
parent 9d011f0123 da89d77278
commit c29322a95f
4 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -5,3 +5,4 @@
composer.lock
vendor
node_modules/
.eslintcache

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
modules/ext.linter.edit.js
View file

@ -1,6 +1,6 @@
$( function () {
var location = mw.config.get( 'wgLinterErrorLocation' ),
// eslint-disable-next-line jquery/no-global-selector
// eslint-disable-next-line no-jquery/no-global-selector
$textbox = $( '#wpTextbox1' );
if ( location ) {

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",