docs.php.net - still in use ?

[omars44]

As I was going through the PHP stubs of the Solr Extension, I found links to docs.php.net, which apparently is severely outdated, that says the latest php is 8.1 beta, and still has docs en, which I imagine could be as outdated. I'm gonna update the links to https://www.php.net/manual/*

From:
https://www.php.net/sites.php

it also says "Documentation is built here four times a day."

Questions that popped shall it be named dev, if its dev. so no reliability expected ? or have redirector to php.net/manual ? or is it useful the way it is? or sites.php needs to get updated to reflect the current status?

I'm just wondering and thought to bring that to your attention,

Cheers,
Omar

[Tina-1300]

Is there a tool in PHP to create documentation automatically with the PHP documentation menu to stay in the theme?