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 npm dependencies

Browse source 
* grunt-stylelint: 0.13.0 → 0.14.0
* stylelint-config-wikimedia: 0.8.0 → 0.9.0

Change-Id: I13751d02f31523b4306d9c43c4f63b5564b2e5e3
This commit is contained in:
libraryupgrader 2020-02-21 04:36:25 +00:00
parent 8ca98bf140
commit 4787c733d6
2 changed files with 494 additions and 1524 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2014
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.0.4",
"grunt-banana-checker": "0.8.1",
"grunt-eslint": "22.0.0",
"grunt-stylelint": "0.13.0",
"stylelint-config-wikimedia": "0.8.0"
"grunt-stylelint": "0.14.0",
"stylelint-config-wikimedia": "0.9.0"
}
}