# MediaWiki のオプション

/com.sun.wiki-publisher/wikisettings.xhp
MediaWiki のオプション
MediaWiki サーバーの追加、編集、および削除が可能です。ダイアログを開くには、「ツール」→「オプション」→「インターネット」→「MediaWiki」をクリックします。または、「ツール」→「拡張機能マネージャ」を選択して「Wiki Publisher」を選択し、「オプション」ボタンをクリックします。
Listbox
新しい Wiki サーバーを追加するには「追加」をクリックします。
アカウント設定を編集するには、エントリを選択して「編集」をクリックします。
エントリを選択して「削除」をクリックすると、そのエントリがリストから削除されます。
Add button
新しいエントリをリストに追加するための「MediaWiki」ダイアログを開きます。
Edit button
選択されているエントリを編集するための「MediaWiki」ダイアログを開きます。
Remove button
選択されているエントリをリストから削除します。
「追加」または「編集」をクリックすると、「MediaWiki」ダイアログが開きます。