update php mirrors
authorMichael Wallner <mike@php.net>
Mon, 1 Apr 2019 12:38:56 +0000 (14:38 +0200)
committerMichael Wallner <mike@php.net>
Mon, 1 Apr 2019 12:38:56 +0000 (14:38 +0200)
commit309d295271f95d9267c64535de8c2e638f6614cc
treeb175e326990e1a7c396262f52c1216abbcfe622c
parent126f0d23ed321e2a40cb689b78ca6022ac6d3276
update php mirrors
Makefile
php-version-url-dist.php
php-version-url-qa.php
php-version.php