Hi,
I've just pushed a change to the www.php.net web site that removes all
references to mirrors. Please let me know if you spot any issues. Once
the web site is live and works, I will be changing DNS away from the
XX.php.net hosts to www.php.net.
cheers,
Derick
--
https://derickrethans.nl | https://xdebug.org | https://dram.io
Like Xdebug? Consider a donation: https://xdebug.org/donate.php,
or become my Patron: https://www.patreon.com/derickr
twitter: @derickr and @xdebug
