jenkins-bot ece3dc2629 Merge "Remove 'wgCategoryTreePageCategoryOptions' export from pageview HTML"		2019-04-05 23:07:10 +00:00
..
ApiCategoryTree.php	Stop manually messing with caching HTTP headers	2019-03-05 20:55:22 +00:00
CategoryTree.php	Migrate to new phan	2019-03-17 21:25:03 +01:00
CategoryTreeCategoryPage.php	Use standard GPL file header	2018-04-16 22:38:06 +00:00
CategoryTreeCategoryViewer.php	Fix findings by phpcs	2019-02-06 18:03:50 +00:00
CategoryTreeHidePrefix.php	Use standard GPL file header	2018-04-16 22:38:06 +00:00
CategoryTreeHooks.php	Remove 'wgCategoryTreePageCategoryOptions' export from pageview HTML	2019-04-05 11:31:03 -07:00
CategoryTreeMode.php	Use standard GPL file header	2018-04-16 22:38:06 +00:00
CategoryTreePage.php	Replace deprecated TitlePrefixSearch	2019-03-27 21:44:37 +01:00