wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 09:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../includes
History
Ebrahim Byagowi 845595cb8e Remove an outdated comment 
No href will be added on the JS side either.

Change-Id: I4c78fef10c24a942db7e468106588b16012ab653
2024-11-05 14:48:02 +03:30
..
ApiCategoryTree.php
CategoryCache.php
CategoryTree.php Remove an outdated comment 2024-11-05 14:48:02 +03:30
CategoryTreeHidePrefix.php
CategoryTreeMode.php
CategoryTreePage.php
ConfigHookHandler.php
Hooks.php
OptionManager.php
ServiceWiring.php