jenkins-bot 1cf89c5bb1 Merge "Fix category tree headers not being set"		2021-01-04 17:19:02 +00:00
..
ApiCategoryTree.php	Convert $wgMemc use to WANObjectCache	2020-03-30 14:11:50 -07:00
CategoryTree.php	build: Updating mediawiki/mediawiki-phan-config to 0.10.5	2020-12-09 21:47:40 -08: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	Define visibility on class constant	2019-10-25 19:14:46 +02:00
CategoryTreeHooks.php	Merge "Fix category tree headers not being set"	2021-01-04 17:19:02 +00:00
CategoryTreeMode.php	Define visibility on class constant	2019-10-25 19:14:46 +02:00
CategoryTreePage.php	Add help links to special pages	2019-07-17 19:55:00 +00:00