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