Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Consider Xdebug for tmi ini generation, too
This commit is contained in:
Anatol Belski 2017-12-01 16:03:09 +01:00
commit f282b7720a

View file

@ -1941,7 +1941,7 @@ function generate_tmp_php_ini()
}
var directive = "extension";
if ("opcache" == extensions_enabled[i][0]) {
if ("opcache" == extensions_enabled[i][0] || "xdebug" == extensions_enabled[i][0]) {
directive = "zend_extension";
}