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? :) -- Pierre @pierrejoye -- PHP CVS Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php