sthen dea867ae7b it seems php have done some cdn shuffling, now the various country.php.net ...

are a single cdn backed server and issue a redirect to https://www.php.net/.
replace MASTER_SITES with the single https://www.php.net/distributions/.
this also suggests the mishmash of working and broken backends for
www.php.net that resulted in using secure.php.net as the homepage have
been cleaned up, so switch that back to https://www.php.net/.

2019-07-10 22:27:31 +00:00

..

patches

switch from tidyp to tidy(-html5)

2019-05-14 20:20:16 +00:00

pkg

fix bogus path in @extraunexec

2019-06-07 20:24:04 +00:00

distinfo

update to php-7.2.20

2019-07-04 15:40:55 +00:00

Makefile

it seems php have done some cdn shuffling, now the various country.php.net

2019-07-10 22:27:31 +00:00