mediawiki-extensions-Catego.../includes
Umherirrender 0365b1bdea Fix doc of CategoryTree::getOptionsAsCacheKey
The depth is a number and provided as int

Change-Id: I884279bf69fc3661ad8279965a02d38867a85868
2019-12-08 22:11:08 +01:00
..
ApiCategoryTree.php Avoid usage of deprecated $wgContLang global (dep in 1.32) 2019-09-01 19:01:45 +00:00
CategoryTree.php Fix doc of CategoryTree::getOptionsAsCacheKey 2019-12-08 22:11:08 +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 Define visibility on class constant 2019-10-25 19:14:46 +02:00
CategoryTreeHooks.php build: Updating mediawiki/mediawiki-phan-config to 0.8.0 2019-11-01 21:38:00 +01: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