From 487bf5dd4cbeb2ad03c11ade8a03525eb2e7ed91 Mon Sep 17 00:00:00 2001 From: Nguyen Viet Date: Mon, 11 Mar 2019 21:49:27 +0700 Subject: [PATCH] add resource type (#26605) * add resource type add resource type * update more meaning text --- guide/english/php/php-data-types/index.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/guide/english/php/php-data-types/index.md b/guide/english/php/php-data-types/index.md index ed4cf2d54a..436fef4563 100644 --- a/guide/english/php/php-data-types/index.md +++ b/guide/english/php/php-data-types/index.md @@ -103,3 +103,23 @@ $herbie = new Car(); echo $herbie->model; ?> ``` + +### PHP Resource + +A resource is a special variable, holding a reference to an external resource. Resources are created and used by special functions. See the [official PHP documentation](http://php.net/manual/en/resource.php) for a listing of all these functions and the corresponding resource types. You can use [get_resource_type()](http://php.net/manual/en/function.get-resource-type.php) function to see resource type. + +**Example:** +```php +doc) . "\n"; +```