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
3207 commits 163 branches 6 tags 33 MiB
Commit graph

4 commits

Author SHA1 Message Date
Umherirrender 6b9eeb34d8 stylelint: Enable selector-pseudo-element-colon-notation 
Via stylelint --fix

Change-Id: I5a9835a0faf610d8401b4bb80bae08999d7b9a0e
 2023-03-30 01:14:34 +02:00
libraryupgrader d387648344 build: Updating npm dependencies 
* grunt: 1.5.3 → 1.6.1
* stylelint-config-wikimedia: 0.13.0 → 0.14.0
  The following rules are failing and were disabled:
  * plugin/no-unsupported-browser-features
  * selector-pseudo-element-colon-notation

Change-Id: Ic8777c3c3ca94f3281f62b31e38d1b6d1abcf9aa
 2023-03-27 04:54:51 +00:00
Ed Sanders b3dbb96cf3 Update stylelint-config-wikimedia 
Change-Id: Ib7c44812e8adc159ff2c1d634712e05cc8511078
 2021-06-15 15:14:04 +01:00
Umherirrender c3989b29dd Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Ic4139987d8414646059c882f413ec483da759029
 2017-08-19 10:55:02 +02:00
Renamed from .stylelintrc (Browse further)