Update lang/php72 to version 7.2.0_1
authorDPorts Builder <nobody@home.ok>
Tue, 26 Dec 2017 04:30:17 +0000 (20:30 -0800)
committerDPorts Builder <nobody@home.ok>
Tue, 26 Dec 2017 04:30:17 +0000 (20:30 -0800)
commit51b7f68f0895cdee6be859a4942eb643eac4cb40
treeca2e6e6590dd8509d816753087be2758c8c7bad8
parentbda674236ebaced8e27f8a344affebc3b5ac61f3
Update lang/php72 to version 7.2.0_1
lang/php72/Makefile
lang/php72/distinfo
lang/php72/files/patch-Zend_zend__hash.c [new file with mode: 0644]
lang/php72/files/patch-Zend_zend__hash.h [new file with mode: 0644]