diff options
| author | Zeev Suraski <zeev@php.net> | 2001-07-31 04:53:54 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2001-07-31 04:53:54 +0000 |
| commit | d76cf1da183f79711d7699a2ff85f743da3f9dd2 (patch) | |
| tree | 8342fd3406696bc32b81deb28d6771336fb6fe36 /Zend/zend_extensions.h | |
| parent | 7bc71f442d7ddfecf43871b394c14100baa391b3 (diff) | |
| download | php-git-d76cf1da183f79711d7699a2ff85f743da3f9dd2.tar.gz | |
More TSRMLS_FETCH work
Diffstat (limited to 'Zend/zend_extensions.h')
| -rw-r--r-- | Zend/zend_extensions.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_extensions.h b/Zend/zend_extensions.h index a31bd9cf91..c7839262e5 100644 --- a/Zend/zend_extensions.h +++ b/Zend/zend_extensions.h @@ -110,7 +110,7 @@ ZEND_API int zend_register_extension(zend_extension *new_extension, DL_HANDLE ha void zend_append_version_info(zend_extension *extension); int zend_startup_extensions_mechanism(void); int zend_startup_extensions(void); -void zend_shutdown_extensions(void); +void zend_shutdown_extensions(TSRMLS_D); ZEND_API zend_extension *zend_get_extension(char *extension_name); #endif /* ZEND_EXTENSIONS_H */ |