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
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
