Merge branch 'PHP-7.2' into PHP-7.3
authorDmitry Stogov <dmitry@zend.com>
Fri, 7 Jun 2019 08:48:57 +0000 (11:48 +0300)
committerDmitry Stogov <dmitry@zend.com>
Fri, 7 Jun 2019 08:48:57 +0000 (11:48 +0300)
commit972223c3428d241dd201c82c00e2d1807d2ecc68
treebcf27ea86344392654372f7cc879c662127c2cc7
parenta5f98139c93ab3b5698b3152ad4905e1172c7d8d
parent83cdb89f8a6cbc656f2f95aeb6ce1c97691e197f
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fixed bug #77135 (Extract with EXTR_SKIP should skip $this)
NEWS
ext/standard/array.c