sthen b5ff455fb5 remove PHP 7.1 and set @pkgpath to merge package updates to 7.3, ...

7.1 is now end of life upstream and won't receive more security fixes.

2019-12-11 14:47:54 +00:00

..

patches

update to php-7.2.25/php-7.3.12

2019-11-21 23:35:57 +00:00

pkg

remove PHP 7.1 and set @pkgpath to merge package updates to 7.3,

2019-12-11 14:47:54 +00:00

distinfo

update to php-7.2.25/php-7.3.12

2019-11-21 23:35:57 +00:00

Makefile

remove PHP 7.1 and set @pkgpath to merge package updates to 7.3,

2019-12-11 14:47:54 +00:00