Re: phpdoc does not seem to be updated

[email protected] ("G. P. B.") Thu, 26 Oct 2023 01:46:34 +0100

Newsgroups	php.doc
Message-ID	<CAFPFaMJCiAz3EUF6+EkTysPhMXVayTK1LUss+WCWWW5Cn_Hzyg@mail.gmail.com>

On Wed, 25 Oct 2023 at 19:03, Yoshinari Takaoka <[email protected]> wrote:

> Hi.
>
> Somehow, phpdoc (php manual on php.net) doesn't seem to have been updated
> in the last few days. Is this because sytems has recently been updated?
>
> https://github.com/php/systems/commits/master
>
> Is anyone have permission to look into this?
>
> Best Regards.
>
> --
> Yoshinari Takaoka a.k.a mumumu
> reversethis -> gro tod umumum ta umumum
>

Derick is going to look into this tomorrow, as it may indeed be related to
the PHP version upgrade that he did last week.

Best,

George P. Banyard