wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-30 11:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../includes
History
jenkins-bot 7aaf9f42be Merge "Replace use of getDirMark with HTML markup"
2024-10-05 17:32:34 +00:00
..
ApiCategoryTree.php Update namespaces of PHP classes 2024-10-03 19:55:44 +00:00
CategoryCache.php Use IConnectionProvider instead of ILoadBalancer 2024-09-04 13:28:31 +00:00
CategoryTree.php Merge "Replace use of getDirMark with HTML markup" 2024-10-05 17:32:34 +00:00
CategoryTreeHidePrefix.php Namespace extension 2021-04-08 01:28:21 +01:00
CategoryTreeMode.php Namespace extension 2021-04-08 01:28:21 +01:00
CategoryTreePage.php Use PHP types 2024-08-20 08:16:37 +00:00
ConfigHookHandler.php Put onMediaWikiServices into a separate handler class. 2021-06-24 15:17:34 +00:00
Hooks.php Use new hook OutputPageRenderCategoryLink 2024-09-03 09:50:34 +00:00
OptionManager.php Use namespaced FormatJson class 2024-08-22 12:53:23 +00:00
ServiceWiring.php Use IConnectionProvider instead of ILoadBalancer 2024-09-04 13:28:31 +00:00