mk Fri Jul 20 11:13:10 2001 EDT
Modified files:
/phpdoc/de/appendices resources.xml
Log:
Little Fix
Index: phpdoc/de/appendices/resources.xml
diff -u phpdoc/de/appendices/resources.xml:1.2 phpdoc/de/appendices/resources.xml:1.3
--- phpdoc/de/appendices/resources.xml:1.2 Thu May 17 01:36:06 2001
+++ phpdoc/de/appendices/resources.xml Fri Jul 20 11:13:10 2001
@@ -1,8 +1,8 @@
<appendix id="resource">
<title>Liste von PHP Ressourcen</title>
<para>
- Hier ist eine Liste der Funktionen, welche PHP Ressourcen erstellen, benutzen
- oder l�schen. Man wei�, ob eine Variable eine Ressource ist, wenn man
+ Im Folgenden finden eine Liste der Funktionen, welche PHP Ressourcen erstellen,
+benutzen
+ oder löschen. Man wei�, ob eine Variable eine Ressource ist, wenn man
<function>is_resource</function> verwendet, den Typen der Ressource erh�lt man
mit <function>get_resource_type</function>.
<table>