Nota: Después de guardar, debes recargar la caché de tu navegador para ver los cambios:
mw.loader.load( '//commons.wikimedia.org/w/index.php?title=MediaWiki:Gadget-HotCat.js&action=raw&ctype=text/javascript' );