diff options
author | Anatol Belski <ab@php.net> | 2017-12-01 16:02:38 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2017-12-01 16:02:38 +0100 |
commit | ffd94f9bf82730ea28b54b51661fef97b8f2b3b6 (patch) | |
tree | 2ab07ee1ffa18748de56ffb30d10c9a8e496266e | |
parent | b73151845f3b43f8d8fee6376d183c3a119fd969 (diff) | |
parent | 958fdc997cd1fe3c6ff654ac470ba66768bdf214 (diff) | |
download | php-git-ffd94f9bf82730ea28b54b51661fef97b8f2b3b6.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
* PHP-7.0:
Consider Xdebug for tmi ini generation, too
-rw-r--r-- | win32/build/confutils.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win32/build/confutils.js b/win32/build/confutils.js index ffdb2cd92f..88cfc10068 100644 --- a/win32/build/confutils.js +++ b/win32/build/confutils.js @@ -1916,7 +1916,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"; } |