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

build: Update eslint-config-wikimedia to 0.10.1

Browse source 
Change-Id: I6299e2c479fe4106d180f6969f0abda291c51819
This commit is contained in:
Ed Sanders 2019-02-10 16:05:35 +00:00
parent d309572805
commit 2e3f4ee488
4 changed files with 12 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.eslintrc.json
View file

@ -1,12 +1,11 @@
{
"root": true,
"extends": "wikimedia",
"env": {
"browser": true
},
"extends": [
"wikimedia/client",
"wikimedia/jquery"
],
"globals": {
"OO": false,
"mw": false,
"$": false
"mw": false
}
}

3
Gruntfile.js
View file

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

3
modules/ext.linter.edit.js
View file

@ -1,10 +1,11 @@
$( function () {
var location = mw.config.get( 'wgLinterErrorLocation' ),
// eslint-disable-next-line jquery/no-global-selector
$textbox = $( '#wpTextbox1' );
if ( location ) {
if ( $textbox.length ) {
$textbox.focus().textSelection( 'setSelection', { start: location[ 0 ], end: location[ 1 ] } );
$textbox.trigger( 'focus' ).textSelection( 'setSelection', { start: location[ 0 ], end: location[ 1 ] } );
}
mw.hook( 've.tempWikitextReady' ).add( function () {
mw.libs.ve.tempWikitextEditor.$element[ 0 ].setSelectionRange(

4
package.json
View file

@ -4,9 +4,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"
}