[PHP-DOC] Re: modifying user comments

2001-08-29 Thread Jeroen van Wolffelaar
> Anyone have words to share on this topic? Should I be leaving editors > notes instead? I see many of you do. I'd say: remove complicated/nasty code people submit. The php manual is not the place for such 'hints'. Sometimes it's best to summarize the pointe (after a notes-discussion by users..

[PHP-DOC] Re: modifying user comments

2001-08-28 Thread jimw
Philip Olson <[EMAIL PROTECTED]> wrote: > Anyone have words to share on this topic? Should I be leaving editors > notes instead? I see many of you do. well, the point of the user notes, in general, is that good ones should be incorporated into the documentation itself, not merely edited and le