wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-14 18:44:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating npm dependencies

Browse source 
* grunt-stylelint: 0.15.0 → 0.16.0
* stylelint-config-wikimedia: 0.10.1 → 0.10.3

Change-Id: I6c4c50762ca2d7e2a43f2a9fe62f70529f904282
This commit is contained in:
libraryupgrader 2020-11-22 09:24:27 +00:00
parent d28651c59e
commit e9032ac0db
2 changed files with 1496 additions and 847 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2333
package-lock.json generated
View file

File diff suppressed because it is too large Load diff

4
package.json
View file

@ -8,8 +8,8 @@
"grunt": "1.3.0",
"grunt-banana-checker": "0.9.0",
"grunt-eslint": "23.0.0",
"grunt-stylelint": "0.15.0",
"stylelint-config-wikimedia": "0.10.1"
"grunt-stylelint": "0.16.0",
"stylelint-config-wikimedia": "0.10.3"
},
"eslintIgnore": [
"vendor/**"