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 /Zend/zend_extensions.c | |
| parent | db65d0e07601de6edcaef50a9b9d0630f04f8405 (diff) | |
| download | php-git-9b42296babc97defd3b7635b395506d5539aae20.tar.gz | |
- Remove unused function
Diffstat (limited to 'Zend/zend_extensions.c')
| -rw-r--r-- | Zend/zend_extensions.c | 17 |
1 files changed, 0 insertions, 17 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 |