ガジェットの書き出し

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

* edittop[ResourceLoader|dependencies=mediawiki.util]|edittop.js

この操作には、配布先のウィキで適切な権限 (システムメッセージの編集権限を含む) が必要で、さらにファイルのアップロードによるインポートが有効になっている必要があります。