wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 03:43:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../includes
History
jenkins-bot c4d39389a8 Merge "Change 'title' attributes to links to use full page name"
2019-02-14 00:53:10 +00:00
..
ApiCategoryTree.php Fix findings by phpcs 2019-02-06 18:03:50 +00:00
CategoryTree.php Merge "Change 'title' attributes to links to use full page name" 2019-02-14 00:53:10 +00: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 Fix findings by phpcs 2019-02-06 18:03:50 +00:00
CategoryTreeMode.php Use standard GPL file header 2018-04-16 22:38:06 +00:00
CategoryTreePage.php Fix findings by phpcs 2019-02-06 18:03:50 +00:00