wiki/content/20201113120246-get_resource_id.md

20 lines
283 B
Markdown
Raw Normal View History

2024-05-06 20:40:05 +00:00
---
2024-10-30 17:34:11 +00:00
date: 2020-11-13
2024-05-06 20:40:05 +00:00
id: bc32aee3-3e3c-42e8-b56e-8e8e7f3a8d39
title: get~resourceid~()
---
# Description
Returns a resource id as an integer. See PR[^1]
# Syntax
``` php
$resourceId = get_resource_id($resource);
```
# Footnotes
[^1]: <https://github.com/php/php-src/pull/5427>