Zephyr Cradle Diary

■ [更新] MediaWikiを1.18へ更新したときのエラー

さくっとメモ代わりに。こちらの更新手順を元にしてssh使って更新しました。しかしながら、1.18へ更新したあとにindex.phpへアクセスすると、以下のようなエラーメッセージが出ました。

Fatal error: Cannot redeclare wfProfileIn() (previously declared in /includes/profiler/Profiler.php:14) in /includes/ProfilerStub.php on line 24

で、以下のページに対処方法が載ってました。

Profiler.php Fatal Error Cannot redeclare wfprofilein() - MediaWiki

要約すると、rootにあるStartProfiler.phpなるファイルが1.18で邪魔するようになるので削除したまえということ。というわけで、削除したらさくっと正しく動くようになりました。良かった良かった。時間の無いときにそんなバージョンアップ作業なんてやるんじゃないよって話で。

そんなわけで、本家サイトとCelestiaのサイトのMediaWikiを更新しました。またデフォルトのスキンもVector（Wikipediaと同じ）にしたので、若干見た目が変わっています。Wikipediaと同じなので使いやすくは感じるのかも？ まあ使いづらいと感じたらこっそりとメッセージください。はい。