Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 7ddff4c431fb7f716df4ee59f978ebc093fffb7f,f8a006a1ecd0c8bc69e52dce478c2e73f998e4a8..21177f35c77aa5bba21fbf71667e24dff1d97f7a
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -26,11 -18,10 +26,14 @@@ PH
    . Fixed bug #78038 (Socket_select fails when resource array contains
      references). (Nikita)
  
 -30 May 2019, PHP 7.2.19
+ - Zip:
+   . Fixed bug #76345 (zip.h not found). (Michael Maroszek)
+ 
 +16 May 2019, PHP 7.3.6RC1
 +
 +- cURL:
 +  . Implemented FR #72189 (Add missing CURL_VERSION_* constants). (Javier
 +    Spagnoletti)
  
  - FPM:
    . Fixed bug #77934 (php-fpm kill -USR2 not working). (Jakub Zelenka)

diff --cc ext/zip/config.m4
Simple merge