From: Thomas Deutschmann <whissi@gentoo.org>
Date: Fri, 7 Jun 2019 13:23:16 +0000 (+0200)
Subject: dev-php/ming-php: add PHP 7.3 support
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=a32ed97e59703c5054c093d1208ff1b9b56dab70;p=gentoo.git

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@gentoo.org>
---

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 656761cd0b1d..91e42cafa688 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