php7: update to 7.2.7
authorMichael Heimpold <redacted>
Mon, 2 Jul 2018 20:42:26 +0000 (22:42 +0200)
committerMichael Heimpold <redacted>
Mon, 2 Jul 2018 20:42:48 +0000 (22:42 +0200)
commit045fdb5336b3ac3d723dfcf34af72423075130ce
tree85187c6d96fc336e4016cc73bb6236ae63aeb847
parent3b45e955420b2bd359fc51224aa9cbb8c274d2ff
php7: update to 7.2.7

Signed-off-by: Michael Heimpold <redacted>
lang/php7/Makefile
git clone https://git.99rst.org/PROJECT