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.../modules
History
Ebrahim Byagowi b66d6a38c4 Make disabled arrow more distinguishable 
Change-Id: I2b70195ce5135dc181ef8b80af1aead0304a9cfc
2024-10-06 00:03:30 +03:30
..
ext.categoryTree Make category links arrow link to actual categories 2024-10-05 00:48:31 +03:30
ext.categoryTree.styles.less Make disabled arrow more distinguishable 2024-10-06 00:03:30 +03:30