From: Dmitry Stogov <dmitry@zend.com>
Date: Fri, 14 Jun 2019 10:26:04 +0000 (+0300)
Subject: Merge branch 'PHP-7.3' into PHP-7.4
X-Git-Tag: php-7.4.0alpha2~98
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cfa386657848a8149819f580ff57bd313dc41fe9;p=php

Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  Backport 91a6cdbff5ebd1ca4db1d6e8c42d3265ce80ace4
---

cfa386657848a8149819f580ff57bd313dc41fe9