php: Update from 7.2.4 to 7.2.5

diff --git a/packages/php/build.sh b/packages/php/build.sh
index ecbc17c..303b4e8 100644 (file)
--- a/packages/php/build.sh
+++ b/packages/php/build.sh
@@ -1,7 +1,7 @@
 TERMUX_PKG_HOMEPAGE=https://php.net
 TERMUX_PKG_DESCRIPTION="Server-side, HTML-embedded scripting language"
-TERMUX_PKG_VERSION=7.2.4
-TERMUX_PKG_SHA256=7916b1bd148ddfd46d7f8f9a517d4b09cd8a8ad9248734e7c8dd91ef17057a88
+TERMUX_PKG_VERSION=7.2.5
+TERMUX_PKG_SHA256=af70a33b3f7a51510467199b39af151333fbbe4cc21923bad9c7cf64268cddb2
 TERMUX_PKG_SRCURL=http://www.php.net/distributions/php-${TERMUX_PKG_VERSION}.tar.xz
 # Build native php for phar to build (see pear-Makefile.frag.patch):
 TERMUX_PKG_HOSTBUILD=true