mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-27 09:43:06 +00:00
629e0509b8
The Unicode characters have a different shape based on the font. Bug: T184792 Change-Id: Ia5e506f25067558cb9f879c7d1dca707ea795603 |
||
---|---|---|
.. | ||
ext.categoryTree | ||
ext.categoryTree.styles.css |