Exportar gadgets

Para exportar o gadget diffToolsCore, 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:

* diffToolsCore[ResourceLoader|dependencies=mediawiki.api,mediawiki.util,user.tokens,ext.gadget.mediawiki.api.ptwiki,jquery.ui.dialog|hidden]|diffTools.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.