get_resource_id()

Description

Returns a resource id as an integer. See PR¹

Syntax

$resourceId = get_resource_id($resource);

Footnotes

Footnotes

1. https://github.com/php/php-src/pull/5427 ↩