diff options
| author | Zeev Suraski <zeev@php.net> | 2000-04-28 15:52:02 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2000-04-28 15:52:02 +0000 |
| commit | ddbcbb666daa767d1b91caf725a4a400b13d337c (patch) | |
| tree | 5fcb1022487304c9e1dd7e091724cd2bfc41450c /Zend/zend_extensions.h | |
| parent | b7f2d80a2865623a1e45bca7cdcc6f7c476459d9 (diff) | |
| download | php-git-ddbcbb666daa767d1b91caf725a4a400b13d337c.tar.gz | |
Fix a bug in the resource dispencer
Diffstat (limited to 'Zend/zend_extensions.h')
| -rw-r--r-- | Zend/zend_extensions.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_extensions.h b/Zend/zend_extensions.h index 34f83b1f40..83cbfabd20 100644 --- a/Zend/zend_extensions.h +++ b/Zend/zend_extensions.h @@ -92,6 +92,7 @@ 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(void); void zend_shutdown_extensions(void); #endif /* _ZEND_EXTENSIONS_H */ |