Merge branch 'PHP-7.1' into PHP-7.2

diff --cc NEWS
index ecb3391d8cd22f026ee9a4846d0e65aba66f6165,11e27b84d368076ed4d67e3e6b422bedcddd4af7..d02ae5c15b5ca310f66a8c064f2d4126d7d91367
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,13 -1,11 +1,17 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.1.25
 +?? ??? 2018, PHP 7.2.14
  
+ - 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)
 +
 +06 Dec 2018, PHP 7.2.13
 +
  - ftp:
    . Fixed bug #77151 (ftp_close(): SSL_read on shutdown). (Remi)
  

diff --cc Zend/zend_signal.c
Simple merge

diff --cc Zend/zend_signal.h
Simple merge