PHP versions 5.3.20 and 5.4.10 were released on December 20. Please bump! Thanks and Merry Christmas! =)
Fixed in CVS. And a happy new year!