mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
The ZEND_EXTENSION change is merged with xdebug now so we can drop this for master only
This commit is contained in:
parent
a6b9ddbfe2
commit
dd494a83db
1 changed files with 0 additions and 5 deletions
|
@ -2023,11 +2023,6 @@ function generate_tmp_php_ini()
|
|||
|
||||
var directive = (extensions_enabled[i][2] ? 'zend_extension' : 'extension');
|
||||
|
||||
// FIXME: Remove this once ZEND_EXTENSION() is merged to XDEBUG
|
||||
if ("xdebug" == extensions_enabled[i][0]) {
|
||||
directive = "zend_extension";
|
||||
}
|
||||
|
||||
var ext_name = extensions_enabled[i][0];
|
||||
if ("gd" == ext_name) {
|
||||
ext_name = "gd2";
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue