Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fixed bug #78759

diff --cc NEWS
index 2e67e59683816beafd90b01abe014b5dce826008,3160a9fdaa7dd652fc2d69d8de2305b6a97dec7e..8d540d620a199d19e94d210c48b5018f14fab4e6
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,15 -1,13 +1,18 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.26
 +?? ??? ????, PHP 7.3.13
 +
 +- Core:
 +  . Fixed bug #78787 (Segfault with trait overriding inherited private shadow
 +    property). (Nikita)
  
 -21 Nov 2019, PHP 7.2.25
+ - Standard:
+   . Fixed bug #78759 (array_search in $GLOBALS). (Nikita)
+ 
 +21 Nov 2019, PHP 7.3.12
  
  - Core:
 +  . Fixed bug #78658 (Memory corruption using Closure::bindTo). (Nikita)
    . Fixed bug #78656 (Parse errors classified as highest log-level). (Erik
      Lundin)
    . Fixed bug #78752 (Segfault if GC triggered while generator stack frame is

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