Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index b97fe025ea33fc73c1a43c5f6856366375d23634,ecb3391d8cd22f026ee9a4846d0e65aba66f6165..e5975014dd54e87138868a617a0721c8971ad118
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,8 -1,15 +1,12 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.2.14
 +?? ??? ????, PHP 7.3.0
  
 -06 Dec 2018, PHP 7.2.13
 -
 -- ftp:
 -  . Fixed bug #77151 (ftp_close(): SSL_read on shutdown). (Remi)
+ - Sockets:
+   . Fixed bug #77136 (Unsupported IPV6_RECVPKTINFO constants on macOS).
+     (Mizunashi Mana)
+ 
 +22 Nov 2018, PHP 7.3.0RC6
  
  - CLI:
    . Fixed bug #77111 (php-win.exe corrupts unicode symbols from cli

diff --cc ext/sockets/config.m4
Simple merge