php 5.4.13 へアップグレード

FreeBSD の ports へ php 5.4.13 のアップグレードが到着していました。

php 5.4.12 から php 5.4.13 へ extensions を含めて portupgrade  -a を使って一気に更新しておきました。

私の環境においては動作に問題は発生していません。