Re: Fixes for documentation in source. Which branch to start?
On Thu, Jul 18, 2013 at 8:53 AM, Sherif Ramadan <[email protected]> wrote:
>
>
>
> On Thu, Jul 18, 2013 at 1:37 AM, Pierre Joye <[email protected]> wrote:
>>
>> On Thu, Jul 18, 2013 at 6:19 AM, Sherif Ramadan <[email protected]>
>> wrote:
>> > On Wed, Jul 17, 2013 at 11:55 PM, Yasuo Ohgaki <[email protected]>
>> > 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.
>>
>> Well, I don't see a good enough reason not to commit documentation to
>> 5.3 as well
>
>
> I suppose you're right since it's not source code, but it remains dubious
> that this counts as documentation. If we want to add documentation notes for
> this it should go in the manual where we document everything. Not that I'm
> the arbiter of what goes in 5.3.
You are welcome to add more (internals or general) documentations to
the manual. But the sources have always contained documentation, the
more the better :)
--
Pierre
@pierrejoye | http://www.libgd.org
Thread (10 messages)