wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-27 08:30:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Update linters

Browse source 
Change-Id: I9baecb9fd4b9d9bf86897ccec8289614b136c3a2
This commit is contained in:
Ed Sanders 2018-12-10 13:31:37 +00:00
parent bbf2d290e7
commit 4ad54da406
3 changed files with 8 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.eslintrc.json
View file

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

1
modules/jquery.codeEditor.js
View file

@ -683,6 +683,7 @@
* @param {Object} extended
*/
saveAndExtend = function ( base, extended ) {
// eslint-disable-next-line jquery/no-map-util
$.map( extended, function ( func, name ) {
var orig;
if ( name in base ) {

8
package.json
View file

@ -8,18 +8,16 @@
},
"devDependencies": {
"ace-builds": "1.2.9",
"eslint-config-wikimedia": "0.8.1",
"eslint-plugin-qunit": "3.3.0",
"eslint-config-wikimedia": "0.9.0",
"grunt": "1.0.3",
"grunt-banana-checker": "0.6.0",
"grunt-contrib-clean": "1.1.0",
"grunt-contrib-clean": "2.0.0",
"grunt-contrib-copy": "1.0.0",
"grunt-eslint": "21.0.0",
"grunt-exec": "3.0.0",
"grunt-jsonlint": "1.1.0",
"grunt-stylelint": "0.10.1",
"postcss-less": "1.1.3",
"stylelint": "9.2.0",
"stylelint-config-wikimedia": "0.4.3"
"stylelint-config-wikimedia": "0.5.0"
}
}