Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Update NEWS

diff --cc NEWS
index 61b7f4b7817bdb23ca955e8d04f882e30c80c6ad,ecec337379a6decde0d0389baf08eb9d89f0748c..d527e3784ea35cb16a4b289d9cb33decdfad23a5
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,13 -1,13 +1,15 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.26
 +?? ??? ????, PHP 7.3.13
  
 -- Intl:
 -  . Fixed bug #78804 (Segmentation fault in Locale::filterMatches). (Stas)
 +- Core:
 +  . Fixed bug #78787 (Segfault with trait overriding inherited private shadow
 +    property). (Nikita)
  
  - OPcache:
 +  . Fixed potential ASLR related invalid opline handler issues. (cmb)
+   . Fixed $x = (bool)$x; with opcache (should emit undeclared variable notice).
+     (Tyson Andre)
  
  - Standard:
    . Fixed bug #78759 (array_search in $GLOBALS). (Nikita)