wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-12-01 01:16:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
1155 commits 13 branches 25 tags 12 MiB
Commit graph

1 commit

Author SHA1 Message Date
Umherirrender 228f141ca5 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: Ie866b9112eed033a16f74f0ae2c82dc3e3ea769e
 2017-08-19 09:49:58 +02:00
Renamed from .stylelintrc (Browse further)