Re: new json, push generated file?

From: Date: Tue, 10 Feb 2015 03:02:28 +0000
Subject: Re: new json, push generated file?
References: 1 2 3 4 5 6 7 8 9  Groups: php.internals 
Request: Send a blank email to internals+get-82327@lists.php.net to get a copy of this message
On Tue, Feb 10, 2015 at 9:47 AM, Xinchen Hui <laruence@php.net> wrote: > why make this thing in this way complicated? why not just simply > include the generated files as others did? There are cases where it is configure dependent so not including them makes sense. I do not recognize this case with json. -- Pierre @pierrejoye | http://www.libgd.org

« previous php.internals (#82327) next »