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