urlfilterじぇねれいたー

id:higeorange作のスクリプトで、urlfilter.ini補完計画をどうにかならないか、ということで、置いた。
置いただけです。 *1
じぇねれいたーで何かする人は、自己責任でお願いします。

中身

MediaWikiはHTMLスニペットがデフォルトで使えないので、HTMLetsというものを使ってformやらinputやらを使えるようにしました。
LocalSettings.phpにあらかじめ$wgHTMLetsDirectoryで指定したディレクトリに.htmlを入れておいて、ファイル名(.htmlを含めない)と書き込むとHTMLスニペットが使えるという仕組みです。

移動

urlfilter.ini補完計画はDevWikiに移動となりました。
同様の企画をDevWikiに作るにあたり、DevWiki側に統合した形です。

*1:置くに当たって、あーくこさいんさんの指導を受けました。