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.
--
PHP Documentation Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
