Exportar gadgets
Para exportar o gadget NewVillagePumpCore, clique no botão "Baixar", salve o arquivo transferido, vá à página Special:Import no wiki de destino e faça o upload do arquivo. Depois, adicione o seguinte à página MediaWiki:Gadgets-definition:
* NewVillagePumpCore[ResourceLoader|dependencies=mediawiki.util,jquery.spinner,ext.gadget.mediawiki.api.ptwiki|rights=hidden|hidden]|NewVillagePump.js/Core.js
É necessário que você tenha, no wiki de destino, as permissões necessárias (incluindo o privilégio de editar mensagens de sistema) e a importação por upload de arquivos deve estar ativada.