get_resource_id()

Description

Returns a resource id as an integer. See PR[fn:pr]

Syntax

$resourceId=ge{t}_{r}esourc{e}_{i}d($resource);

Footnotes

[fn:pr]https://github.com/php/php-src/pull/5427