Re: [PHP-DEV] Error in PHP documentation

This is only part of a thread. view whole thread
  105804
May 30, 2019 11:23 george.banyard@gmail.com ("G. P. B.")
Moreover please use the bug tracker to raise such errors instead of mailing
the internal list.

Best regards

George P. Banyard