wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 10:26:26 +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: I0590e5e22e7f02a4df4f3ac0e65b2784508fbce5
This commit is contained in:
libraryupgrader 2020-11-22 13:15:13 +00:00
parent d249a74a16
commit 7b8f19eb99
2 changed files with 1500 additions and 837 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,7 +8,7 @@
"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"
}
}