From: Fabien Villepinte <fabien.villepinte@gmail.com>
Date: Sat, 19 Oct 2019 20:12:18 +0000 (+0200)
Subject: Merge branch 'PHP-7.4'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=08b72790368f44f011fc64ee0aa0d03b0e2d7693;p=php

Merge branch 'PHP-7.4'
---

08b72790368f44f011fc64ee0aa0d03b0e2d7693