提供:すだちWiki
MediaWiki Extension:Gadgets
機能
Gadgets は、個人設定で、CSSやJavaScriptのカスタムガジェットを選択できるようにする。またこれらを追加、編集する。
導入方法
MediaWikiのパッケージに入っています。インストール時にオプションで選択するとインストールも完了しています。
ダウンロード
- http://www.mediawiki.org/wiki/Extension:Gadgets からダウンロード。
- snapshot または masterをダウンロードする。snapshotを選んだときは、次のページでMediaWikiのバージョンを選ぶ。
インストール
- ダウンロードしたファイルを解凍し「extensions」にアップロードする。
- LocalSettings.php に追加する。
require_once "$IP/extensions/Gadgets/Gadgets.php";
使いかた
利用可能なGadgetsは、Gadgets-definitionに有ります。