From: Xinchen Hui <laruence@gmail.com>
Date: Tue, 2 Jan 2018 05:59:07 +0000 (+0800)
Subject: Merge branch 'PHP-7.2'
X-Git-Tag: php-7.3.0alpha1~714
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6cf9c91b555257cd667230979aa955f6b820dcbe;p=php

Merge branch 'PHP-7.2'

* PHP-7.2:
  regenerated with newer re2c
---

6cf9c91b555257cd667230979aa955f6b820dcbe