Exportación de accesorio

Para exportar el gadget DotsSyntaxHighlighter, haz click en el botón «Descargar», graba el archivo descargado, ve a Special:Importar en la wiki de destino y súbelo. Luego agrega lo siguiente a la página MediaWiki:Gadgets-definition:

* DotsSyntaxHighlighter[ResourceLoader]|DotsSyntaxHighlighter.js

Debes tener permisos apropiados en la wiki de destino (incluyendo el derecho a editar mensajes de sistema) y debe estar habilitado la importación de archivos subidos.