Merge branch 'PHP-7.2'

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

View file

@ -1948,7 +1948,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";
}