For the manual (of which, I insist, coders should have an offline copy - they have been available since forever and prudence dictates), there is a backup site, apparently, at

https://docs.phplang.net/docs.php

For the purpose of the submission, I guess some people are puzzled ("What happened?").