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