mirror of
https://github.com/php/web-php.git
synced 2026-04-01 12:12:16 +02:00
important for us, than who is mirroring. Colin suggested, that we may use only the country code in that list, but I am not sure, it would be good for others too.