diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-04-21 12:31:17 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-05-11 12:04:16 +0200 |
| commit | a0abc26ef78da4209b937fefd0e94b2acf147cef (patch) | |
| tree | 4cc58d850673cf0f18ad4691d3c9aa1f0f5bc6c9 /build/php.m4 | |
| parent | d5d99ce8d1a81839f9e7c50b5534abf514384dcf (diff) | |
| download | php-git-a0abc26ef78da4209b937fefd0e94b2acf147cef.tar.gz | |
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.
Diffstat (limited to 'build/php.m4')
0 files changed, 0 insertions, 0 deletions