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
On 10 June 2026 14:38:02 BST, "François Félix" <francois.felix@gmail.com> wrote:
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 PHP: Documentation 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
Hi,
We moved things around today, and the wrong host made it into a cached file.
We've purged the cache on the server so all should be fine again, but it might still be locally cached in your browser too. Try using a hard refresh (ctrl-f5 or similar), which should fix it.
cheers
Derick
