Export de gadget

Pour exporter le gadget ProveIt-classic, cliquez sur le bouton « Télécharger », enregistrez le fichier téléchargé puis allez sur la page « Special:Import » du wiki de destination et téléversez-le. Ajoutez ensuite le texte suivant dans la page « MediaWiki:Gadgets-definition » :

* ProveIt-classic[ResourceLoader|type=general|dependencies=jquery.ui,jquery.textSelection,mediawiki.util|actions=edit]|ProveIt-classic.css|ProveIt-classic.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 le téléversement de fichiers doit y être activé.