diff options
| -rw-r--r-- | sapi/cli/php_cli.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/sapi/cli/php_cli.c b/sapi/cli/php_cli.c index a3c16db3ef..be00a4c14e 100644 --- a/sapi/cli/php_cli.c +++ b/sapi/cli/php_cli.c @@ -407,7 +407,14 @@ static void define_command_line_ini_entry(char *arg) } else { value = "1"; } - zend_alter_ini_entry(name, strlen(name)+1, value, strlen(value), PHP_INI_SYSTEM, PHP_INI_STAGE_ACTIVATE); + + if (!strcasecmp(name, "extension")) { /* load function module */ + zval extension, zval; + ZVAL_STRING(&extension, value, 0); + php_dl(&extension, MODULE_PERSISTENT, &zval TSRMLS_CC); + } else { + zend_alter_ini_entry(name, strlen(name)+1, value, strlen(value), PHP_INI_SYSTEM, PHP_INI_STAGE_ACTIVATE); + } } |