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