wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 17:51:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../modules
History
jenkins-bot 77c080c761 Merge "Use margin-inline mixin to simplify direction specific styles"
2024-10-06 09:53:08 +00:00
..
ext.categoryTree Make category links arrow link to actual categories 2024-10-05 00:48:31 +03:30
ext.categoryTree.styles.less Merge "Use margin-inline mixin to simplify direction specific styles" 2024-10-06 09:53:08 +00:00