Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #76348: WSDL_CACHE_MEMORY causes Segmentation fault

diff --cc NEWS
index bca5d89fefe6c2f904ebb387f288f033554b53c9,836cff926bccee18a4ac777b3f3a8439e441be80..12dbfe600db3fae14a063a9acd91804a9674dd15
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -13,16 -13,14 +13,17 @@@ PH
  - SOAP:
    . Fixed bug #50675 (SoapClient can't handle object references correctly).
      (Cameron Porter)
+   . Fixed bug #76348 (WSDL_CACHE_MEMORY causes Segmentation fault). (cmb)
  
 -08 Nov 2018, PHP 7.2.12
 +- Standard:
 +  . Fixed bug #77081 (ftruncate() changes seek pointer in c mode). (cmb, Anatol)
 +
 +- XML:
 +  . Fixed bug 71592 (External entity processing never fails). (cmb)
 +
 +25 Oct 2018, PHP 7.3.0RC4
  
  - Core:
 -  . Fixed bug #76846 (Segfault in shutdown function after memory limit error).
 -    (Nikita)
 -  . Fixed bug #76946 (Cyclic reference in generator not detected). (Nikita)
    . Fixed bug #77035 (The phpize and ./configure create redundant .deps file).
      (Peter Kokot)
    . Fixed bug #77041 (buildconf should output error messages to stderr)

diff --cc ext/soap/php_sdl.c
Simple merge