mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-01-26 13:44:22 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-7.4'

Browse Source
This commit is contained in:
Nikita Popov 2019-04-18 10:11:51 +02:00
commit 492a5d3ebe
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Zend/zend_API.c
View File

@ -2493,6 +2493,7 @@ ZEND_API void zend_post_deactivate_modules(void) /* {{{ */
if (module->type != MODULE_TEMPORARY) {
break;
}
module_destructor(module);
} ZEND_HASH_FOREACH_END_DEL();
} else {
zend_module_entry **p = module_post_deactivate_handlers;