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

1 commit

Author SHA1 Message Date
Daniel Kinzler 63e2567287 adding option for expandable category-bar. not fully functional until skin refactoring is merged in. Just dont use $wgCategoryTreeHijackPageCategories until then. 2008-07-11 23:18:41 +00:00