wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-18 11:01:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
2842 commits 13 branches 26 tags 37 MiB
Commit graph

2 commits

Author SHA1 Message Date
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)