Re: [PHP-DEV] Error in PHP documentation

[G. P. B.]

Moreover please use the bug tracker to raise such errors instead of mailing
the internal list.

Best regards

George P. Banyard