Nota: Después de guardar, debes recargar la caché de tu navegador para ver los cambios:
importScript('MediaWiki:Gadget-HotCat.js');