From: George Wang <gwang@php.net>
Date: Thu, 9 May 2019 22:15:48 +0000 (-0400)
Subject: Merge branch 'PHP-7.3' into PHP-7.4
X-Git-Tag: php-7.4.0alpha1~315^2~3
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=dc63b0e48051113cb2dc19ca2469ab51afaf2873;p=php

Merge branch 'PHP-7.3' into PHP-7.4
---

dc63b0e48051113cb2dc19ca2469ab51afaf2873