mediawiki-extensions-Catego.../includes
Umherirrender 414c62f19b phan: Remove PhanParamReqAfterOpt suppression
Change-Id: I326165c7cdb98dabc2aa9a3fd73d637f2e5bceec
2019-10-12 22:14:41 +02:00
..
ApiCategoryTree.php Avoid usage of deprecated $wgContLang global (dep in 1.32) 2019-09-01 19:01:45 +00:00
CategoryTree.php phan: Remove PhanParamReqAfterOpt suppression 2019-10-12 22:14:41 +02: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 Add help links to special pages 2019-07-17 19:55:00 +00:00