Export de gadget

Pour exporter le gadget CodeEditor, cliquer sur le bouton « Télécharger », enregistrer le fichier téléchargé puis aller sur la page Special:Import du wiki de destination et l’importer. Ajouter ensuite le texte suivant dans la page MediaWiki:Gadgets-definition:

* CodeEditor[ResourceLoader|dependencies=jquery.ui.resizable]|CodeEditor.js

Il est nécessaire de disposer des droits correspondants sur le wiki de destination (y compris celui de modifier les messages système) et l’import depuis des fichiers doit être activé.