Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index e5975014dd54e87138868a617a0721c8971ad118,d02ae5c15b5ca310f66a8c064f2d4126d7d91367..330e282814ad0a170a56d7e5120ed516e6387dd7
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,7 -1,11 +1,11 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.2.14
 +?? ??? ????, PHP 7.3.0
  
+ - Core:
+   . Fixed bug #71041 (zend_signal_startup() needs ZEND_API).
+     (Valentin V. Bartenev)
+ 
  - Sockets:
    . Fixed bug #77136 (Unsupported IPV6_RECVPKTINFO constants on macOS).
      (Mizunashi Mana)

diff --cc Zend/zend_signal.c
Simple merge

diff --cc Zend/zend_signal.h
Simple merge