mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 23:50:05 +00:00
build: Update eslint to 0.4.0 and make a pass
Change-Id: I580e7a2ed7276dc3b9546b497ecf2f8f4efe1aa6
This commit is contained in:
parent
de6b08919b
commit
59aed7d2e2
|
@ -3,7 +3,7 @@
|
||||||
"test": "grunt test"
|
"test": "grunt test"
|
||||||
},
|
},
|
||||||
"devDependencies": {
|
"devDependencies": {
|
||||||
"eslint-config-wikimedia": "0.3.0",
|
"eslint-config-wikimedia": "0.4.0",
|
||||||
"grunt": "1.0.1",
|
"grunt": "1.0.1",
|
||||||
"grunt-banana-checker": "0.5.0",
|
"grunt-banana-checker": "0.5.0",
|
||||||
"grunt-eslint": "19.0.0",
|
"grunt-eslint": "19.0.0",
|
||||||
|
|
|
@ -355,7 +355,7 @@
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
mw.loader.using( config.pluginModules, function() {
|
mw.loader.using( config.pluginModules, function () {
|
||||||
var $codeMirror,
|
var $codeMirror,
|
||||||
$textbox1 = $( '#wpTextbox1' );
|
$textbox1 = $( '#wpTextbox1' );
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue