Searched defs:get_resource_id (Results 1 – 2 of 2) sorted by relevance
| /php-src/Zend/ | ||
| H A D | zend_builtin_functions.stub.php | 157 function get_resource_id($resource): int {} function |
| H A D | zend_builtin_functions.c | 1451 ZEND_FUNCTION(get_resource_id) in ZEND_FUNCTION() argument |
Completed in 13 milliseconds
