wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-11 16:58:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
3043 commits 170 branches 0 tags 86 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders e1f5f5487f build: Update linters 
Change-Id: I19e2482fa377342b15733f5ef0bebe18e3238cef
 2023-09-27 16:07:55 +01:00
Umherirrender 239c7dff62 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I79efadb3c75b3c14f81d7bd7848beafef71e2dd9
 2017-08-19 09:58:39 +02:00
Renamed from .stylelintrc (Browse further)