MediaWiki:Gadget-HotCat

Enables HotCat for category maintenance.