提供:EELの自由帳
移動先: 案内検索

MediaWiki Extension:Gadgets

機能

Gadgets は、個人設定で、CSSやJavaScriptのカスタムガジェットを選択できるようにする。またこれらを追加、編集する。

導入方法

MediaWikiのパッケージに入っています。インストール時にオプションで選択するとインストールも完了しています。

ダウンロード

  1. http://www.mediawiki.org/wiki/Extension:Gadgets からダウンロード。
  2. snapshot または masterをダウンロードする。snapshotを選んだときは、次のページでMediaWikiのバージョンを選ぶ。

Gadgets-01.gif

インストール

  1. ダウンロードしたファイルを解凍し「extensions」にアップロードする。
  2. LocalSettings.php に追加する。
require_once "$IP/extensions/Gadgets/Gadgets.php";

使いかた

利用可能なGadgetsは、Gadgets-definitionに有ります。