diff options
| author | Andi Gutmans <andi@php.net> | 2000-11-13 18:14:16 +0000 |
|---|---|---|
| committer | Andi Gutmans <andi@php.net> | 2000-11-13 18:14:16 +0000 |
| commit | 9b42296babc97defd3b7635b395506d5539aae20 (patch) | |
| tree | fd23e06e559e711be62a03306a87e25e4cc81c6f | |
| parent | db65d0e07601de6edcaef50a9b9d0630f04f8405 (diff) | |
| download | php-git-9b42296babc97defd3b7635b395506d5539aae20.tar.gz | |
- Remove unused function
| -rw-r--r-- | Zend/zend_extensions.c | 17 | ||||
| -rw-r--r-- | Zend/zend_extensions.h | 1 |
2 files changed, 0 insertions, 18 deletions
diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c index d8a8951dcf..768773c115 100644 --- a/Zend/zend_extensions.c +++ b/Zend/zend_extensions.c @@ -23,23 +23,6 @@ ZEND_API zend_llist zend_extensions; static int last_resource_number; -int zend_load_extensions(char **extension_paths) -{ - char **p = extension_paths; - - if (!p) { - return SUCCESS; - } - while (*p) { - if (zend_load_extension(*p)==FAILURE) { - return FAILURE; - } - p++; - } - return SUCCESS; -} - - int zend_load_extension(char *path) { #if ZEND_EXTENSIONS_SUPPORT diff --git a/Zend/zend_extensions.h b/Zend/zend_extensions.h index 261da6cc24..44f01dacc8 100644 --- a/Zend/zend_extensions.h +++ b/Zend/zend_extensions.h @@ -106,7 +106,6 @@ ZEND_API extern zend_llist zend_extensions; void zend_extension_dtor(zend_extension *extension); ZEND_API int zend_load_extension(char *path); -ZEND_API int zend_load_extensions(char **extension_paths); ZEND_API int zend_register_extension(zend_extension *new_extension, DL_HANDLE handle); void zend_append_version_info(zend_extension *extension); int zend_startup_extensions_mechanism(void); |
