Exportación de gadget
Para exportar el gadget HotCat, haz click en el botón "Descargar", graba el archivo descargado, ve a Special:Importar un wiki de destino y subirlo. Luego agrega lo siguiente a MediaWiki:Gadgets-definition page:
* HotCat [ResourceLoader] | HotCat.js
Debes tener permisos apropiados en el wiki de destino (incluyendo el derecho a editar mensajes de sistema) e importación desde archivos subidos debe estar habilitado.