From: Anatol Belski <ab@php.net>
Date: Fri, 1 Dec 2017 15:03:49 +0000 (+0100)
Subject: Merge branch 'PHP-7.2'
X-Git-Tag: php-7.3.0alpha1~899
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c94a73ec905f2928516f15fef9acca744015ed8d;p=php

Merge branch 'PHP-7.2'

* PHP-7.2:
  Consider Xdebug for tmi ini generation, too
---

c94a73ec905f2928516f15fef9acca744015ed8d