On 18.01.2018 at 16:38, Michael Morris wrote:
> http://www.php.net is badly mangled, apparently because it's referencing
> files from us1.php.net and that server appears to be down at the moment.
>
> BTW, what should be the tag for this?
That's a known issue for quite some time, see <https://bugs.php.net/75594>.
--
Christoph M. Becker