MediaWiki TitleKey

自分の所のMediaWikiとWikipediaを比較していて、足りない機能があることに気付いた。それは検索窓におけるインクリメンタルサーチだ。この機能は是非とも欲しい。両方のExtensionsを比較してみると、TitleKeyというExtensionsがそれに当たることが分かった。インストールはそれ程難しくなかったが、一箇所だけtitlekey.sqlを自分の環境に書き換える必要があった。CREATE TABLEの後に続くテーブルの名前に自分の環境のprefixを付け加える必要があった。例えば、mw_をprefixに使っている場合は、titlekeyをmw_titlekeyにする必要がある。ここの点だけ注意すれば後は問題ないだろう。

先日、1.16.0 beta2がリリースされていたので追従する。