User:Theo3131/vector.js

importScript('MediaWiki:Gadget-HotCat.js');