MediaWiki:Gadgets-definition

Implemented gadgets

 * HotCat[ResourceLoader|targets=desktop,mobile]|HotCat.js