Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 8c77f2f414acbc4513b1c6474b4127ff15e70662,3fd9b2bc8277e75fd288bd0bb0054f9a4db46aee..c6c3af84b7aed482ef474425b87200f1b433f04b
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -12,22 -6,9 +12,26 @@@ PH
    . Fixed bug #76800 (foreach inconsistent if array modified during loop).
      (Dmitry)
  
 -- CURL:
 -  . Fixed bug #76480 (Use curl_multi_wait() so that timeouts are respected).
 -    (Pierrick)
++- Standard:
++  . Fixed bug #75533 (array_reduce is slow when $carry is large array).
++    (Manabu Matsui)
++
 +- XMLRPC:
 +  . Fixed bug #76886 (Can't build xmlrpc with expat). (Thomas Petazzoni, cmb)
 +
 +13 Sep 2018, PHP 7.3.0RC1
 +
 +- Core:
 +  . Fixed bug #76825 (Undefined symbols ___cpuid_count). (Laruence)
 +  . Fixed bug #76820 (Z_COPYABLE invalid definition). (mvdwerve, cmb)
 +  . Fixed bug #76510 (file_exists() stopped working for phar://). (cmb)
 +
 +- intl:
 +  . Fixed bug #76829 (Incorrect validation of domain on idn_to_utf8()
 +    function). (Anatol)
 +
 +- MBString:
 +  . Updated to Oniguruma 6.9.0. (cmb)
  
  - Opcache:
    . Fixed bug #76832 (ZendOPcache.MemoryBase periodically deleted by the OS).

diff --cc ext/standard/array.c
Simple merge