MediaWiki:Gadget-HotCat.js/en

mw.loader.load('//de.wikiversity.org/w/index.php?title=MediaWiki:Gadget-HotCat.js/en&action=raw&ctype=text/javascript');