701
回編集
差分
ナビゲーションに移動
検索に移動
<li>コンソールアプリケーションなどを使って、サーバーにログインしてね。</li>
<li>以下のコマンドを実行して、「HTMLets」を展開するよ。
<presyntaxhighlight lang="bash">
git clone https://gerrit.wikimedia.org/r/p/mediawiki/extensions/HTMLets.git
</presyntaxhighlight>
</li>
<li>LocalSettings.phpの最後に以下の行を追加してね。
<presyntaxhighlight lang="php">
require_once "$IP/extensions/HTMLets/HTMLets.php";
$wgHTMLetsDirectory = "$IP/htmlets";
</presyntaxhighlight>
「$wgHTMLetsDirectory」はJavaScriptのソースを置く場所になるよ。好きなところに変更しても良いかもね。
</li>
<li>手前の手順で「$wgHTMLetsDirectory」に設定したパスにディレクトリを作成するよ。コマンドは以下の通りだよ。
<presyntaxhighlight lang="bash">
mkdir [作成したいディレクトリ名]
</presyntaxhighlight>
「$wgHTMLetsDirectory = "$IP/htmlets";」と設定した場合は以下の様になるよ。
<presyntaxhighlight lang="bash">
MediaWikiをインストールしたディレクトリで…
mkdir htmlets
</presyntaxhighlight>
</li>
</ol>
