]> granicus.if.org Git - php/commit
Add get_resource_id() function
authorNikita Popov <nikita.ppv@gmail.com>
Tue, 21 Apr 2020 10:31:17 +0000 (12:31 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Mon, 11 May 2020 10:04:16 +0000 (12:04 +0200)
commita0abc26ef78da4209b937fefd0e94b2acf147cef
tree4cc58d850673cf0f18ad4691d3c9aa1f0f5bc6c9
parentd5d99ce8d1a81839f9e7c50b5534abf514384dcf
Add get_resource_id() function

Behavior is same as for (int) $resource, just under a clearer
name. Also type-safe, in that the parameter actually needs to
be a resource.

Closes GH-5427.
UPGRADING
Zend/tests/get_resource_id.phpt [new file with mode: 0644]
Zend/zend_builtin_functions.c
Zend/zend_builtin_functions.stub.php
Zend/zend_builtin_functions_arginfo.h