【mediawiki】htmlを出力する方法

mediawikiにhtmlを出力する方法を忘れるのでメモしておきます
デフォルトでも設定できるが、如何せん勝手にhtmlを出力されたら困るのでextensionに追加しておく

やり方

下準備

extension経由でJavaScriptを表示

1. Extension:HTMLets/jaからファイルをDL
2. 解凍する
3. 解凍したらFTPファイルアップローダーを使ってうｐする
4. HTMLetsディレクトリをextensionにブチ込む
5. ぶち込んだら、HTMLets内にhtmletsのディレクトリを作成する

LocalSettings.php設定を行う

• 以下にLocalSettings.phpに記述する

require_once( "$IP/extensions/HTMLets/HTMLets.php" );
$wgHTMLetsDirectory = "$IP/extensions/HTMLets/htmlets";

• htmletsディレクトリに｢適当な.html｣のファイルを作り、記事中に以下の記述をする

<htmlet>適当な名前</htmlet>

これでhtmlが出力される仕組みらしい