MediaWiki Extension:WikiEditor

Extension:WikiEditor は、拡張可能なウィキテキスト編集インターフェイスと多数の機能モジュールを提供する。

導入方法

MediaWikiの標準パッケージに付属しています。
メディアウィキのルートディレクトリにある“LocalSettings.php”に以下を追記する。

# WikiEditor provides enhancements to the MediaWiki edit page
require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
$wgDefaultUserOptions['usebetatoolbar'] = 1;
$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;
$wgDefaultUserOptions['wikieditor-preview'] = 1;

使い方

編集画面に以下の機能が追加されます。