PHP 5.3.13 へアップグレード

PHP 5.3.11 から PHP 5.3.13 へアップグレードしました。

なぜか途中の12が見当たりませんが、気にしないことにしておきます（笑）

いつものように portupgrade -a で一気に更新を掛けました。portupgrade が終わったところで久しぶりの再起動をさせてみました。

PHP 関係の部分は問題なく動作しているようでした。