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.../includes
History
libraryupgrader 64312796a0 build: Updating mediawiki/mediawiki-codesniffer to 20.0.0 
Change-Id: I3dc05f3935b2f952182c3afbfc05d7e6c5557039
2018-05-26 01:01:12 +00:00
..
ApiCategoryTree.php Use standard GPL file header 2018-04-16 22:38:06 +00:00
CategoryTree.php Simplify by using Xml::element 2018-04-18 09:36:40 +02:00
CategoryTreeCategoryPage.php Use standard GPL file header 2018-04-16 22:38:06 +00:00
CategoryTreeCategoryViewer.php Use standard GPL file header 2018-04-16 22:38:06 +00:00
CategoryTreeHidePrefix.php Use standard GPL file header 2018-04-16 22:38:06 +00:00
CategoryTreeHooks.php build: Updating mediawiki/mediawiki-codesniffer to 20.0.0 2018-05-26 01:01:12 +00:00
CategoryTreeMode.php Use standard GPL file header 2018-04-16 22:38:06 +00:00
CategoryTreePage.php Use standard GPL file header 2018-04-16 22:38:06 +00:00