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

build: Updating eslint-config-wikimedia to 0.18.0

Browse source 
Additional changes:
* Added the "composer phan" command to conveniently run phan.
* Removing manual extensions for eslint.

Change-Id: I664a503f515018d3f4c0d37b03a03eb0711c0a3b
This commit is contained in:
libraryupgrader 2021-01-27 01:14:08 +00:00
parent f258c59d5e
commit 2081766cb4
4 changed files with 5912 additions and 5735 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Gruntfile.js
View file

@ -9,7 +9,6 @@ module.exports = function ( grunt ) {
grunt.initConfig( {
eslint: {
options: {
extensions: [ '.js', '.json' ],
cache: true
},
all: [

3
composer.json
View file

@ -16,6 +16,7 @@
"fix": [
"minus-x fix .",
"phpcbf"
]
],
"phan": "phan -d . --long-progress-bar"
}
}

11641
package-lock.json generated
View file

File diff suppressed because it is too large Load diff

2
package.json
View file

@ -4,7 +4,7 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.17.0",
"eslint-config-wikimedia": "0.18.0",
"grunt": "1.3.0",
"grunt-banana-checker": "0.9.0",
"grunt-eslint": "23.0.0",