php: Update from 7.1.12 to 7.2.1
authorFredrik Fornwall <fredrik@fornwall.net>
Tue, 9 Jan 2018 08:43:59 +0000 (09:43 +0100)
committerFredrik Fornwall <fredrik@fornwall.net>
Tue, 9 Jan 2018 08:43:59 +0000 (09:43 +0100)
commit56666cd291b6d9c9c664e9c7dd01ce13957a1337
tree12d14acc6b74474a7d5ff34b6f510e323a597090
parent65c29fa8a070daa8cc2b1daaa8737522f50a6c77
php: Update from 7.1.12 to 7.2.1
packages/php/Zend-zend_multiply.h.patch [deleted file]
packages/php/build.sh
packages/php/ext-sockets-sockets.c.patch [new file with mode: 0644]