On Wed, Jul 17, 2013 at 11:55 PM, Yasuo Ohgaki <yohg...@ohgaki.net> wrote:
> Hi all, > > Take a look at this PR > > https://github.com/php/php-src/pull/351.diff > > The documentation in php.ini-* is broken, where should we > fix these kind of error? > > From 5.3 branch or 5.4 branch? > 5.3 is security fixes only.