wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "build: Update devDependencies"

Browse source
This commit is contained in:
jenkins-bot 2022-03-15 20:39:06 +00:00 committed by Gerrit Code Review
parent ccfb7897f6 861ba9acc7
commit f2b0cf3200
3 changed files with 2054 additions and 5014 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Gruntfile.js
View file

@ -29,8 +29,7 @@ module.exports = function ( grunt ) {
},
stylelint: {
all: [
'**/*.css',
'**/*.less',
'**/*.{css,less}',
'!node_modules/**',
'!modules/ace/**',
'!vendor/**'

7056
package-lock.json generated
View file

File diff suppressed because it is too large Load diff

9
package.json
View file

@ -8,15 +8,14 @@
},
"devDependencies": {
"ace-builds": "1.4.12",
"eslint-config-wikimedia": "0.21.0",
"eslint-config-wikimedia": "0.22.1",
"grunt": "1.4.1",
"grunt-banana-checker": "0.9.0",
"grunt-contrib-clean": "2.0.0",
"grunt-contrib-copy": "1.0.0",
"grunt-eslint": "23.0.0",
"grunt-eslint": "24.0.0",
"grunt-exec": "3.0.0",
"grunt-stylelint": "0.16.0",
"postcss-less": "1.1.3",
"stylelint-config-wikimedia": "0.11.1"
"grunt-stylelint": "0.17.0",
"stylelint-config-wikimedia": "0.12.2"
}
}