wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 12:00:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../modules
History
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
..
ext.categoryTree.css Improve CSS while loading and for non-JavaScript clients 2017-09-04 21:55:47 +00:00
ext.categoryTree.js build: Bump devDependencies to latest 2018-02-14 09:21:40 -08:00