mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-27 09:43:06 +00:00
451aeceba1
It also adds an animation for the arrow matching other recently Codex provided arrow icons adopted animations. Change-Id: If8b2b45b24351ee5c8fc9ee1380563f5d5b88678 |
||
---|---|---|
.. | ||
ext.categoryTree | ||
ext.categoryTree.styles.less |