config: switch 20.1 to PHP 7.3

2020-04-30 03:34:25 +02:00 · 2020-04-30 03:34:25 +02:00 · bda7bbfff0
parent 6a07a6b8d4
commit bda7bbfff0
2 changed files with 3 additions and 3 deletions
--- a/config/20.1/build.conf
+++ b/config/20.1/build.conf
@ -1,5 +1,5 @@
 PERL?=		5.30
-PHP?=		72
+PHP?=		73
 PYTHON?=	37
 RUBY?=		26

--- a/config/20.1/skim.conf
+++ b/config/20.1/skim.conf
@ -1,9 +1,9 @@
-lang/php73
+lang/php72
 net-mgmt/flowd
 net/dhcp6
 security/krb5
 security/libressl
 security/openssl
-security/php73-openssl
+security/php72-openssl
 security/vuxml
 sysutils/syslog-ng