mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-27 09:43:06 +00:00
3f38eb6cd1
jQuery's .show() and .hide() make some actions which are not needed here. Change-Id: I606430fa1922841f9974d7334f646fcedbf03173 |
||
---|---|---|
.. | ||
ext.categoryTree | ||
ext.categoryTree.styles.css |