wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-09-23 10:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Upgrade grunt-eslint from 19.0.0 to 20.0.0, and stylelint

Browse source 
Change-Id: I79a64db9ac8b41dd66e72ee0309851c966b8295f
This commit is contained in:
Ed Sanders 2017-07-18 12:57:48 +01:00
parent fff6a87dec
commit 302ba7e111
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-cite/ve.ui.MWReferenceDialogTool.js
View file

@ -80,7 +80,7 @@ ve.ui.sequenceRegistry.register(
);
ve.ui.triggerRegistry.register(
'reference', { mac: new ve.ui.Trigger( 'cmd+shift+k' ), pc: new ve.ui.Trigger( 'ctrl+shift+k' ) }
'reference', { mac: new ve.ui.Trigger( 'cmd+shift+k' ), pc: new ve.ui.Trigger( 'ctrl+shift+k' ) }
);
ve.ui.commandHelpRegistry.register( 'insert', 'ref', {

5
package.json
View file

@ -10,9 +10,10 @@
"eslint-config-wikimedia": "0.4.0",
"grunt": "1.0.1",
"grunt-banana-checker": "0.6.0",
"grunt-eslint": "19.0.0",
"grunt-eslint": "20.0.0",
"grunt-jsonlint": "1.1.0",
"grunt-stylelint": "0.7.0",
"grunt-stylelint": "0.8.0",
"stylelint": "7.8.0",
"stylelint-config-wikimedia": "0.4.1"
}
}