wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 18:30:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
4232 commits 154 branches 0 tags 71 MiB
Commit graph

1 commit

Author SHA1 Message Date
Umherirrender 52d35663bd Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Ifb821fcc39fe296273fb73c4b11b8be4f20da587
 2017-08-19 09:44:03 +02:00
Renamed from .stylelintrc (Browse further)