php7: update to 7.2.5
authorMichael Heimpold <redacted>
Sat, 28 Apr 2018 21:39:58 +0000 (23:39 +0200)
committerMichael Heimpold <redacted>
Sat, 28 Apr 2018 21:41:31 +0000 (23:41 +0200)
commitd0057d5eb41ce0cdd4a3c8bf01f7467fe4e2a7d2
tree4a304cc80b5e8fc48c6dd1faa8ed529caa5b353d
parent19ba0551a84105b8902474cfefca80862c847d1c
php7: update to 7.2.5

Also drop obsolete patches.

Signed-off-by: Michael Heimpold <redacted>
lang/php7/Makefile
lang/php7/patches/1008-acinclude-valgrind.patch [deleted file]
lang/php7/patches/1100-Utilize-the-recommended-way-to-handle-the-icu-namesp.patch [deleted file]
lang/php7/patches/1101-Simplify-namespace-access.patch [deleted file]
git clone https://git.99rst.org/PROJECT