From: Nikita Popov <nikita.ppv@gmail.com>
Date: Thu, 24 Jan 2019 12:45:27 +0000 (+0100)
Subject: Merge remote-tracking branch 'php-src/PHP-7.2' into PHP-7.2
X-Git-Tag: php-7.2.15RC1~6
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=08c5679380115962c31f3df0bc317eb2018eb514;p=php

Merge remote-tracking branch 'php-src/PHP-7.2' into PHP-7.2
---

08c5679380115962c31f3df0bc317eb2018eb514