cvs: phpdoc /en/language types.xml
| From: | Gabor Hojtsy | Date: | Mon, 04 Nov 2002 10:53:42 +0000 |
| Subject: | cvs: phpdoc /en/language types.xml | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969349405@lists.php.net to get a copy of this message | ||
goba Mon Nov 4 05:53:42 2002 EDT
Modified files:
/phpdoc/en/language types.xml
Log:
Add some more info on resource types
Index: phpdoc/en/language/types.xml
diff -u phpdoc/en/language/types.xml:1.91 phpdoc/en/language/types.xml:1.92
--- phpdoc/en/language/types.xml:1.91 Mon Nov 4 05:51:07 2002
+++ phpdoc/en/language/types.xml Mon Nov 4 05:53:41 2002
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.91 $ -->
+<!-- $Revision: 1.92 $ -->
<chapter id="language.types">
<title>Types</title>
@@ -1015,6 +1015,8 @@
Resources are always converted to strings with the structure
<literal>"Resource id #1"</literal> where
<literal>1</literal> is
the unique number of the resource assigned by PHP during runtime.
+ If you would like to get the type of the resource, use
+ <function>get_resource_type</function>.
</para>
<para>
&null; is always converted to an empty string.