ガジェットの書き出し

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

* DotsSyntaxHighlighter[ResourceLoader|dependencies=jquery.client]|DotsSyntaxHighlighter.js

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