phpdoc does not seem to be updated

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