wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-13 18:37:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
2801 commits 162 branches 5 tags 18 MiB
Commit graph

2 commits

Author SHA1 Message Date
James D. Forrester 120b01696b build: Bump devDependencies to latest 
eslint-config-wikimedia      0.4.0  →   0.5.0
 grunt                        1.0.1  →   1.0.2
 grunt-banana-checker         0.5.0  →   0.6.0
 grunt-eslint                19.0.0  →  20.1.0
 grunt-jsonlint               1.0.8  →   1.1.0
 grunt-stylelint              0.6.0  →   0.9.0
 stylelint                    7.8.0  →   8.2.0
 stylelint-config-wikimedia   0.4.1  →   0.4.2

Change-Id: Id081b31764ae923486031255cc5f24bfd6601782
 2018-02-14 09:21:40 -08:00
Umherirrender 86570ed5c3 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I947590725970745378da0b4e85b254efa0c2f169
 2017-08-19 09:37:30 +02:00
Renamed from .stylelintrc (Browse further)