Hello everyone, I do hope I am reaching out to the right place. If not, I apologize for the noise.
I would like to inform you that the website https://www.php.net/docs.php is currently unusable from my location (France). The HTML page loads immediately, but the document then tries to load resources from new.www.internal.php.net. This domain pings alright, but no file may be downloaded from there. $> curl 'https://new.www.internal.php.net/favicon.svg?v=2' curl: (28) Failed to connect to new.www.internal.php.net port 443 after 130508 ms: Couldn't connect to server I tried loading the website from several locations (in France), with the same result. Best regards, François
