Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index e3283b640c8531607526b0acaaed1e2ca940ce1a,c89f43a24bf11221fce325414d1eed542ede1af2..56b423a5f32847a8e297d4fb6ed3d9756c69168f
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,12 -1,9 +1,13 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.19
 +?? ??? ????, PHP 7.3.6
 +
 +- cURL:
 +  . Implemented FR #72189 (Add missing CURL_VERSION_* constants). (Javier
 +    Spagnoletti)
  
  - FPM:
+   . Fixed bug #77934 (php-fpm kill -USR2 not working). (Jakub Zelenka)
    . Fixed bug #77921 (static.php.net doesn't work anymore). (Peter Kokot)
  
  - GD:

diff --cc sapi/fpm/fpm/fpm_signals.c
Simple merge