wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2025-01-05 11:25:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
2895 commits 19 branches 20 tags 90 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)