commit: a32ed97e59703c5054c093d1208ff1b9b56dab70
Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 7 13:23:16 2019 +0000
Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Fri Jun 7 14:08:07 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a32ed97e
dev-php/ming-php: add PHP 7.3 support
Package-Manager: Portage-2.3.67, Repoman-2.3.14
Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>
dev-php/ming-php/ming-php-0.4.8.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-php/ming-php/ming-php-0.4.8.ebuild
b/dev-php/ming-php/ming-php-0.4.8.ebuild
index 656761cd0b1..91e42cafa68 100644
--- a/dev-php/ming-php/ming-php-0.4.8.ebuild
+++ b/dev-php/ming-php/ming-php-0.4.8.ebuild
@@ -5,7 +5,7 @@ EAPI=6
PHP_EXT_NAME=ming
MY_P="${PHP_EXT_NAME}-${PV//./_}"
-USE_PHP="php5-6 php7-0 php7-1 php7-2"
+USE_PHP="php5-6 php7-0 php7-1 php7-2 php7-3"
PHP_EXT_S="${WORKDIR}/libming-${MY_P}/php_ext"
inherit flag-o-matic php-ext-source-r3
