Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 60da9dd632349fee713f4992da92fce3c29feda2,eb52e5261d47df9c57e1add00e8054fb4a6dbe3f..958efbc4011ea2289778f344e1ded9cc9534af80
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,12 -1,12 +1,16 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.20
 +?? ??? ????, PHP 7.3.7
  
 -30 May 2019, PHP 7.2.19
+ - Core:
+   . Fixed bug #76980 (Interface gets skipped if autoloader throws an exception).
+     (Nikita)
+ 
 +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 Zend/zend_execute_API.c
Simple merge