wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-12-02 12:06:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../includes
History
Umherirrender 63b9527d9c Use IContextSource::getConfig to access configs stored in globals 
Change-Id: Id48a17ee63ea7d9629f103bd1cb6ca2f6489d484
2021-03-12 20:40:10 +01:00
..
ApiCategoryTree.php Stop using deprecated Language methods 2021-02-27 13:59:57 +00: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 Use IContextSource::getConfig to access configs stored in globals 2021-03-12 20:40:10 +01: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 Use IContextSource::getConfig to access configs stored in globals 2021-03-12 20:40:10 +01:00