差分

<li>コンソールアプリケーションなどを使って、サーバーにログインしてね。</li>

<li>以下のコマンドを実行して、「HTMLets」を展開するよ。

git clone https://gerrit.wikimedia.org/r/p/mediawiki/extensions/HTMLets.git

</li>

<li>LocalSettings.phpの最後に以下の行を追加してね。

require_once "$IP/extensions/HTMLets/HTMLets.php";

$wgHTMLetsDirectory = "$IP/htmlets";

「$wgHTMLetsDirectory」はJavaScriptのソースを置く場所になるよ。好きなところに変更しても良いかもね。

</li>

<li>手前の手順で「$wgHTMLetsDirectory」に設定したパスにディレクトリを作成するよ。コマンドは以下の通りだよ。

mkdir [作成したいディレクトリ名]

「$wgHTMLetsDirectory = "$IP/htmlets";」と設定した場合は以下の様になるよ。

MediaWikiをインストールしたディレクトリで…

mkdir htmlets

</li>

</ol>