From: Nikita Popov <nikita.ppv@gmail.com>
Date: Tue, 28 Nov 2017 22:37:05 +0000 (+0100)
Subject: Merge remote-tracking branch 'php-src/PHP-7.2' into PHP-7.2
X-Git-Tag: php-7.2.1RC1~29
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1d557e4a62247b67b2afa96c3c7d65cd60728f8a;p=php

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

1d557e4a62247b67b2afa96c3c7d65cd60728f8a