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

build: Update eslint-config-wikimedia from 0.8.1 to 0.11.0

Browse source 
Change-Id: Ifdda75899ef679bfd819ff044d5c23a7578637f7
This commit is contained in:
James D. Forrester 2019-04-12 13:00:29 -07:00
parent f05d097a1a
commit d7f4812022
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -362,7 +362,7 @@
$( '<textarea>' ) $( '<textarea>' )
.attr( { .attr( {
id: 'mw-scribunto-input', id: 'mw-scribunto-input',
'class': 'mw-scribunto-input', class: 'mw-scribunto-input',
wrap: 'off', wrap: 'off',
rows: 1, rows: 1,
dir: 'ltr', dir: 'ltr',

2
package.json
View file

@ -4,7 +4,7 @@
"test": "grunt test" "test": "grunt test"
}, },
"devDependencies": { "devDependencies": {
"eslint-config-wikimedia": "0.8.1", "eslint-config-wikimedia": "0.11.0",
"grunt": "1.0.3", "grunt": "1.0.3",
"grunt-banana-checker": "0.6.0", "grunt-banana-checker": "0.6.0",
"grunt-eslint": "21.0.0", "grunt-eslint": "21.0.0",