PHP upgrade

PHP 4.x のサポートが Gentoo 的に落とされた(どうしても使い続けたければ layman 使えと ChangeLog には書いてあったが)ようなので、研究室の PHP を 5.x にアップグレード。

今ごろかよ、と思われるかもしれないが、実のところ、もっと前から更新したかったのだが、使っていた Pukiwiki のバージョンがたまたま PHP 5.x に対応していなくて、しかもあちこちカスタマイズしていたので簡単に Pukiwiki を上げるわけにもいかず、延び延びになっていたのであった。

diff 取って眺めたりしながら2時間くらいかけて更新(Pukiwiki が3つ設置されていたので、全部更新する必要があった)。1年以上懸案事項だったので、更新できてよかった……。