ガジェットの書き出し
Edittools ガジェットを書き出すには、「ダウンロード」ボタンをクリックし、ダウンロードしたファイルを保存し、 配布先ウィキの Special:Import に行ってアップロードしてください。そして、以下を MediaWiki:Gadgets-definition ページに追加してください:
* Edittools[ResourceLoader|default]|Edittools.js
この操作には、配布先のウィキで適切な権限 (システムメッセージの編集権限を含む) が必要で、さらにファイルのアップロードによるインポートが有効になっている必要があります。