Home
last modified time | relevance | path

Searched refs:get_resource_id (Results 1 – 4 of 4) sorted by relevance

/PHP-8.1/Zend/tests/
H A Dget_resource_id.phpt2 get_resource_id() function
8 // 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);
/PHP-8.1/Zend/
H A Dzend_builtin_functions.stub.php147 function get_resource_id($resource): int {} function
H A Dzend_builtin_functions_arginfo.h261 ZEND_FUNCTION(get_resource_id);
324 ZEND_FE(get_resource_id, arginfo_get_resource_id)
H A Dzend_builtin_functions.c1376 ZEND_FUNCTION(get_resource_id) in ZEND_FUNCTION() argument

Completed in 10 milliseconds