get_resource_id
spatie/once
Supported Versions: PHP 8
Returns an integer identifier for the given resource
<?php get_resource_id
(
resource $resource
):
int
