> I don't think it's necessary to quote the developers when writing
> documentation.  Many people probably have no idea who Andi is and it's even
> (very remotely) possible that he may not be involved in PHP development in
> the future.  The PHP docs are the definitive source for PHP documentation
> and they already indirectly reflect the ideas and thoughts of the
> development team, without having to quote them.   Besides, the documentation
> should be written in a confident style without having to support itself with
> quotes or references.
>
> What do you guys think?

Agreed.

-Rasmus

Reply via email to