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
Fomafix 033b9cc159 Use namespaced FormatJson class 
This change requires MediaWiki 1.43+.

Change-Id: I5a9a0eb10372b6464985e5a9cd564ff12536fea1
2024-08-22 12:53:23 +00:00
..
ApiCategoryTree.php Use namespaced FormatJson class 2024-08-22 12:53:23 +00:00
CategoryCache.php Use PHP types 2024-08-20 08:16:37 +00:00
CategoryTree.php Use PHP types 2024-08-20 08:16:37 +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 PHP types 2024-08-20 08:16:37 +00:00
OptionManager.php Use namespaced FormatJson class 2024-08-22 12:53:23 +00:00
ServiceWiring.php Add return type hint to function in ServiceWiring.php 2024-01-31 20:55:00 +01:00