Searched refs:get_resource_id (Results 1 – 4 of 4) sorted by relevance
2 get_resource_id() function8 // get_resource_id() is equivalent to an integer cast.9 var_dump(get_resource_id($file) === (int) $file);13 var_dump(get_resource_id($file) === (int) $file);
147 function get_resource_id($resource): int {} function
261 ZEND_FUNCTION(get_resource_id);324 ZEND_FE(get_resource_id, arginfo_get_resource_id)
1376 ZEND_FUNCTION(get_resource_id) in ZEND_FUNCTION() argument
Completed in 15 milliseconds