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