Re: PHP 5.3.0RC3

Matt Wilmas wrote:

Hint: zend_operators.*

(I noticed your recent cleanup stuff, and thought "He has to notice.")

I forgot smiley from that. This was more tongue-in-cheek than a real rant. :D

much either way, but that sounds nice. :O)). I'd vote for karma removal until people can learn to do stuff correctly; you'd probably agree.

Yes please, but I do want to give chance for people to correct their mistakes before that happens. ;)

[1] http://realplain.com/php/is_numeric.diff

Yup, that's still missing from HEAD. I'll merge it myself if nobody beats me to it, but I hope you could review the code afterwards so we can be sure it got in clean. One can't really rely on the tests on this since there are so many tests failing in HEAD at the moment.. Anyway, everyone: PLEASE commit to HEAD first. I know it's painful and not always that easy, but in the long run it makes all our lives much easier by making applying patches between branches actually possible. :) --Jani