Home
last modified time | relevance | path

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

/plugin/scrape/vendor/symfony/polyfill-php80/
Dbootstrap.php41 function get_resource_id($resource): int { return p\Php80::get_resource_id($resource); } function
DREADME.md17 - [`get_resource_id`](https://php.net/get_resource_id)
DPhp80.php60 public static function get_resource_id($res): int function in Symfony\\Polyfill\\Php80\\Php80
/plugin/combo/vendor/symfony/polyfill-php80/
H A Dbootstrap.php41 function get_resource_id($resource): int { return p\Php80::get_resource_id($resource); } function
H A DREADME.md17 - [`get_resource_id`](https://php.net/get_resource_id)
H A DPhp80.php60 public static function get_resource_id($res): int function in Symfony\\Polyfill\\Php80\\Php80