PHP 7.4 release

[BanzaiMan]

for missing extensions, please use

Some extensions are missing in PHP 7.4.0: zip, gmp, sodium

Hello, My tests are failing in 7.4 right now because php’s zip extension isn’t available. I tried following the instructions for “Enabling preinstalled PHP extensions” but got this: PHP Warning: PHP Startup: Unable to load dynamic library ‘zip.so’ (tried: /home/travis/.phpenv/versions/7.4.0/lib/php/extensions/no-debug-zts-20190902/zip.so (/home/travis/.phpenv/versions/7.4.0/lib/php/extensions/no-debug-zts-20190902/zip.so: cannot open shared object file: No such file or directory), /home/tra…