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).

Thanks. Dmitry.

On Mon, Mar 18, 2013 at 5:09 PM, Andrey Hristov <p...@hristov.com> wrote:

>
> could you use size_t instead of len? (strlen() returns size_t). Thanks :)
>
> Andrey
>

Reply via email to