mirror of
https://github.com/php/php-src.git
synced 2025-08-20 01:14:28 +02:00
Merge branch 'master' of https://github.com/php/php-src
This commit is contained in:
commit
bce17764be
1 changed files with 4 additions and 0 deletions
|
@ -427,4 +427,8 @@
|
|||
<alloc init="true">zend_list_insert</alloc>
|
||||
<dealloc>zend_list_close</dealloc>
|
||||
</resource>
|
||||
<function name="zend_bailout">
|
||||
<noreturn>true</noreturn>
|
||||
<leak-ignore/>
|
||||
</function>
|
||||
</def>
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue