]> granicus.if.org Git - php/commitdiff
- Remove unused function
authorAndi Gutmans <andi@php.net>
Mon, 13 Nov 2000 18:14:16 +0000 (18:14 +0000)
committerAndi Gutmans <andi@php.net>
Mon, 13 Nov 2000 18:14:16 +0000 (18:14 +0000)
Zend/zend_extensions.c
Zend/zend_extensions.h

index d8a8951dcf895c61aca5bb8f98a60b6aac491cf3..768773c115f5632fb5e536cab43e88f178c3dfa6 100644 (file)
 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
index 261da6cc244c6188c4765a5ceec05ea6f48f6f4d..44f01dacc89ea29f9252fb2ea35e785cf4f1192c 100644 (file)
@@ -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);