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

Merge branch 'PHP-7.1' into PHP-7.2

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

f282b7720ab3f23966fd39eabd3e7716c0e62a1a