From: Remi Collet <remi@php.net>
Date: Tue, 16 Jul 2019 08:39:24 +0000 (+0200)
Subject: Merge branch 'PHP-7.3' into PHP-7.4
X-Git-Tag: php-7.4.0beta1~106
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a91fb18da4c1d7d1d8366a913b8114d151029bf3;p=php

Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  next is 7.2.22
---

a91fb18da4c1d7d1d8366a913b8114d151029bf3