Exportación de gadget

Para exportar el gadget Edittools, 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:

* Edittools[ResourceLoader|default]|Edittools.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.