今日ヒットしたバグ

たぶんこれ。
http://bugs.php.net/bug.php?id=34879

とりあえずパッチ作ってみたので、rpmbuild中。phpパッケージのビルドは時間がかかるからなぁ。