diff options
| author | Francois Laupretre <francois@php.net> | 2017-07-13 14:27:19 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-07-13 14:27:19 +0200 |
| commit | 0782a7fc6314c8bd3cbfd57f12d0479bf9cc8dc7 (patch) | |
| tree | 8c054f98a3d9db3d728bcfd33ff8a00b70b28efb /Zend/zend_extensions.h | |
| parent | 613102bd678ab72fca412ce089e942bc33eb4046 (diff) | |
| download | php-git-0782a7fc6314c8bd3cbfd57f12d0479bf9cc8dc7.tar.gz | |
Fixed bug #74866 extension_dir = "./ext" now use current directory for base
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 caeb3a263b..ee9912c73f 100644 --- a/Zend/zend_extensions.h +++ b/Zend/zend_extensions.h @@ -145,6 +145,7 @@ void zend_shutdown_extensions(void); BEGIN_EXTERN_C() ZEND_API int zend_load_extension(const char *path); +ZEND_API int zend_load_extension_handle(DL_HANDLE handle, const char *path); ZEND_API int zend_register_extension(zend_extension *new_extension, DL_HANDLE handle); ZEND_API zend_extension *zend_get_extension(const char *extension_name); ZEND_API size_t zend_extensions_op_array_persist_calc(zend_op_array *op_array); |