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