DateTime#setTimeのバグが直ったらしい

2ヶ月ほど前の一件ですが、修正版がCVSにcommitされた模様。

• PHP :: Bug #46268 :: When call DateTime#setTime, it seems to be called the last modify method too

snapshot版(php5.3-200812190530)で試したところ、期待した動作になっていました。

どうやら、assignもされた模様なので、ちゃんと直るでしょう(多分)。

ちゃんと直りましたｗ

まあ、時間がかかったのは名前空間の件でゴタゴタしてた、ということですね。。。