wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 03:43:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../modules
History
TTO 191d1f5ec8 Fix display of categories with numeric names 
Bug: T44938
Change-Id: Ib84b58451475c54bc0a59d8c6b0a9747fc59345d
2018-05-09 14:05:57 +00:00
..
ext.categoryTree.css Use standard GPL file header 2018-04-16 22:38:06 +00:00
ext.categoryTree.js Fix display of categories with numeric names 2018-05-09 14:05:57 +00:00