hi Dmitry,

On Mon, Mar 18, 2013 at 2:40 PM, Dmitry Stogov <dmi...@zend.com> wrote:
> Hi Andrey,
> I don't think it makes a lot of sense to make it in only this particular
> place.
> We use "int" in thousands other places (near everywhere across PHP sources).

Well it makes sense and as this code is new, why not make it right in
the 1st place? :)



PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to