php7: update to version 7.2.31
authorMichael Heimpold <mhei@heimpold.de>
Sat, 16 May 2020 11:48:47 +0000 (13:48 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Sat, 16 May 2020 12:17:24 +0000 (14:17 +0200)
commitbb636880d82306709c0a27b4000b854d764ca7e2
tree7479e1e2fefbed95ea39f40029f721e69fb2151f
parent0da88f8eb389a2c79bb92918ea812345105ed7db
php7: update to version 7.2.31

This fixes:
  - CVE-2019-11048

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
(cherry picked from commit 2e6bd4cb86682b224803325127d3f777d40b3231)
lang/php7/Makefile