Home
last modified time | relevance | path

Searched refs:new_extension (Results 1 – 3 of 3) sorted by relevance

/php-src/Zend/
H A Dzend_extensions.c66 zend_extension *new_extension; in zend_load_extension_handle() local
73 if (!new_extension) { in zend_load_extension_handle()
76 if (!extension_version_info || !new_extension) { in zend_load_extension_handle()
91 new_extension->name, in zend_load_extension_handle()
104 new_extension->name, in zend_load_extension_handle()
107 new_extension->author, in zend_load_extension_handle()
108 new_extension->URL, in zend_load_extension_handle()
109 new_extension->name); in zend_load_extension_handle()
118 …(!new_extension->build_id_check || new_extension->build_id_check(ZEND_EXTENSION_BUILD_ID) != SUCCE… in zend_load_extension_handle()
137 zend_register_extension(new_extension, handle); in zend_load_extension_handle()
[all …]
H A Dzend_extensions.h157 ZEND_API void zend_register_extension(zend_extension *new_extension, DL_HANDLE handle);
/php-src/sapi/phpdbg/
H A Dphpdbg_prompt.c1255 zend_extension *new_extension; in phpdbg_load_module_or_extension() local
1262 if (!new_extension) { in phpdbg_load_module_or_extension()
1265 if (!extension_version_info || !new_extension) { in phpdbg_load_module_or_extension()
1268 …o->zend_extension_api_no != ZEND_EXTENSION_API_NO &&(!new_extension->api_no_check || new_extension… in phpdbg_load_module_or_extension()
1272 …ION_BUILD_ID, extension_version_info->build_id) && (!new_extension->build_id_check || new_extensio… in phpdbg_load_module_or_extension()
1278 *name = new_extension->name; in phpdbg_load_module_or_extension()
1280 zend_register_extension(new_extension, handle); in phpdbg_load_module_or_extension()
1282 if (new_extension->startup) { in phpdbg_load_module_or_extension()
1283 if (new_extension->startup(new_extension) != SUCCESS) { in phpdbg_load_module_or_extension()
1284 phpdbg_error("Unable to startup Zend extension %s", new_extension->name); in phpdbg_load_module_or_extension()
[all …]

Completed in 18 milliseconds