Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 5ce6212a0543e081d963b19eb205a8a3d71270b7,b0ba11ad8fd5ca915fa759ce56a5f8e96751019d..721773e4b884af885ce459d4b9efbc5cf2a92dd9
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,7 -1,11 +1,11 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.22
 +?? ??? ????, PHP 7.3.9
  
+ - Curl:
+   . Fixed bug #77946 (Bad cURL resources returned by curl_multi_info_read()).
+     (Abyr Valg)
+ 
  - Standard:
    . Fixed bug #69100 (Bus error from stream_copy_to_stream (file -> SSL stream)
      with invalid length). (Nikita)

diff --cc ext/curl/interface.c
Simple merge

diff --cc ext/curl/multi.c
Simple merge

diff --cc ext/curl/php_curl.h
Simple merge