id:higeorange作のスクリプトで、urlfilter.ini補完計画をどうにかならないか、ということで、置いた。
置いただけです。 *1
じぇねれいたーで何かする人は、自己責任でお願いします。
中身
MediaWikiはHTMLスニペットがデフォルトで使えないので、HTMLetsというものを使ってformやらinputやらを使えるようにしました。
LocalSettings.phpにあらかじめ$wgHTMLetsDirectoryで指定したディレクトリに.htmlを入れておいて、
移動
urlfilter.ini補完計画はDevWikiに移動となりました。
同様の企画をDevWikiに作るにあたり、DevWiki側に統合した形です。
*1:置くに当たって、あーくこさいんさんの指導を受けました。