[PHP-DEV] Fixes for documentation in source. Which branch to start?

[Yasuo Ohgaki]

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?

Thank you.

--
Yasuo Ohgaki
yohg...@ohgaki.net