Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index de09bc7f9026fa4f62e78d0086279c42b9978859,c7faa0b9078483284320946a4bcb5b43b7c7eb5e..936fc5fd6387dc02271fffdecb2c02aaafdae8fe
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -16,11 -19,7 +16,13 @@@ PH
  - sodium:
    . Fixed bug #77646 (sign_detached() strings not terminated). (Frank)
  
 -07 Mar 2019, PHP 7.2.16
 +- Standard:
 +  . Fixed bug #77664 (Segmentation fault when using undefined constant in
 +    custom wrapper). (Laruence)
++  . Fixed bug #77669 (Crash in extract() when overwriting extracted array).
++    (Nikita)
 +
 +21 Feb 2019, PHP 7.3.3
  
  - Core:
    . Fixed bug #77589 (Core dump using parse_ini_string with numeric sections).

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