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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
