ガジェットのエクスポート

edittopガジェットをエクスポートするには、「ダウンロード」ボタンをクリックし、ダウンロードしたファイルを保存し、 配布先のウィキのSpecial:Importへ行ってアップロードしてください。そして、以下をMediaWiki:Gadgets-definitionページに追加してください：

* edittop|edittop.js

エクスポートには、配布先のウィキで適切な許可（システムメッセージの編集権限を含む）が必要で、さらにファイルからのインポートが有効化されている必要があります。