Merge branch 'PHP-7.1' into PHP-7.2

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

diff --cc NEWS
index bff096b0731dcf4e7a047ef30aadd9193cc6770e,d13846840ecb6c778dd5205eaee0bdf305a93fdc..836cff926bccee18a4ac777b3f3a8439e441be80
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -8,17 -8,13 +8,18 @@@ PH
  
  - Opcache:
    . Fixed bug #77058 (Type inference in opcache causes side effects). (Nikita)
 +  . Fixed bug #77092 (array_diff_key() - segmentation fault). (Nikita)
  
  - 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.1.24
 +08 Nov 2018, PHP 7.2.12
  
  - 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)