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
Kunal Mehta 4e1158b7d2 Add phan configuration 
Change-Id: I8d438ad061500bc56f5e3e527f18296485988d6f
2018-04-08 18:50:31 -07:00
..
ApiCategoryTree.php Add phan configuration 2018-04-08 18:50:31 -07:00
CategoryTree.php Add phan configuration 2018-04-08 18:50:31 -07:00
CategoryTreeCategoryPage.php Move classes into includes/ 2018-02-08 22:23:07 -08:00
CategoryTreeCategoryViewer.php Move classes into includes/ 2018-02-08 22:23:07 -08:00
CategoryTreeHidePrefix.php Move classes into includes/ 2018-02-08 22:23:07 -08:00
CategoryTreeHooks.php Set visibility of CategoryTree::encodeOptions() as protected 2018-02-16 19:30:51 -08:00
CategoryTreeMode.php Move classes into includes/ 2018-02-08 22:23:07 -08:00
CategoryTreePage.php Add phan configuration 2018-04-08 18:50:31 -07:00