eschmid         Sat Jul 14 12:04:10 2001 EDT

  Modified files:              
    /phpdoc/de/functions        array.xml 
  Log:
  Changed color to farbe.
  
Index: phpdoc/de/functions/array.xml
diff -u phpdoc/de/functions/array.xml:1.18 phpdoc/de/functions/array.xml:1.19
--- phpdoc/de/functions/array.xml:1.18  Wed Jul 11 05:16:58 2001
+++ phpdoc/de/functions/array.xml       Sat Jul 14 12:04:09 2001
@@ -390,7 +390,7 @@
       <title><function>array_keys</function></title>
       <programlisting role="php">
 $array = array (0 =&gt; 100, "farbe" =&gt; "rot");
-array_keys ($array);       // liefert array (0, "color")
+array_keys ($array);       // liefert array (0, "farbe")
 
 $array = array ("blau", "rot", "grün", "blau", "blau");
 array_keys ($array, "blau");  //  liefert array (0, 3, 4) 


Reply via email to