php-mysql: update to 7.2.4

php-mysql/.footprint

@@ -6,7 +6,6 @@ drwxr-xr-x	root/root	usr/
 drwxr-xr-x	root/root	usr/lib/
 drwxr-xr-x	root/root	usr/lib/php/
 drwxr-xr-x	root/root	usr/lib/php/extensions/
--rwxr-xr-x	root/root	usr/lib/php/extensions/mysql.so
 -rwxr-xr-x	root/root	usr/lib/php/extensions/mysqli.so
 -rwxr-xr-x	root/root	usr/lib/php/extensions/mysqlnd.so
 -rwxr-xr-x	root/root	usr/lib/php/extensions/pdo_mysql.so

php-mysql/.md5sum

@@ -1 +1 @@
-dd28a659b88ad60797a7c102307f2edb  php-5.6.34.tar.xz
+8266120cf6500a96f1ba335d9ef1e01b  php-7.2.4.tar.xz

php-mysql/.signature

@@ -1,5 +1,5 @@
 untrusted comment: verify with /etc/ports/opt.pub
-RWSE3ohX2g5d/RB1xYUe4emk3387b2IKO9IYmuvYWcyvno1PCkCIFJBtwaggd4skVglBF7Mqjs62bIEFyvWQ8J0Uuq37XTTm2wo=
-SHA256 (Pkgfile) = 1178aafeb8cd6f5ebbd45cbdbf1101b8b7c7dcf70372becff33e5087ef8d766b
-SHA256 (.footprint) = 4dd3e707e3020b35147ba1ebdf629cbeaa4da75c01c769261626a1d91e0e5f0e
-SHA256 (php-5.6.34.tar.xz) = 21453be3a045204cd2717543ef42771324f411f40962ecda4fe841930a933128
+RWSE3ohX2g5d/WFakil9FmHIG7q7I6kVXZLBQrYsPie+zYE5ZlWyBEgdUGhMCdDpiEjWQ86sGi0533txcJrMDtpqm9Io7Io6lwQ=
+SHA256 (Pkgfile) = ffb19ba493972aeb0d69d2ca0acb951c4a2b92b9fcc33a80e114d190e4432e18
+SHA256 (.footprint) = 0500f66a60a1c3d5951694c22f29e7e34a6dbc8e5a1487119ff56db1ea7cdda3
+SHA256 (php-7.2.4.tar.xz) = 7916b1bd148ddfd46d7f8f9a517d4b09cd8a8ad9248734e7c8dd91ef17057a88

php-mysql/Pkgfile

@@ -4,7 +4,7 @@
 # Depends on:  mysql
 
 name=php-mysql
-version=5.6.34
+version=7.2.4
 release=1
 source=(http://php.net/distributions/php-$version.tar.xz)
 
@@ -14,7 +14,6 @@ build () {
     ./configure --disable-all \
                 --enable-pdo=shared \
                 --enable-mysqlnd=shared \
-                --with-mysql=shared,mysqlnd \
                 --with-mysqli=shared,mysqlnd \
                 --with-pdo-mysql=shared,mysqlnd
     
@@ -23,6 +22,6 @@ build () {
     install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions}
     install -m 755 modules/*mysql*.so $PKG/usr/lib/php/extensions
 
-    printf 'extension=%s\n' {mysqlnd,mysql,mysqli,pdo_mysql}.so \
+    printf 'extension=%s\n' {mysqlnd,mysqli,pdo_mysql}.so \
            > $PKG/etc/php/conf.d/mysql.ini
 }