[PHP-DOC] cvs: phpdoc /fr/functions info.xml

[Damien Seguy]

dams            Wed Aug  8 05:43:01 2001 EDT

  Modified files:              
    /phpdoc/fr/functions        info.xml 
  Log:
  turned # to //
  
Index: phpdoc/fr/functions/info.xml
diff -u phpdoc/fr/functions/info.xml:1.17 phpdoc/fr/functions/info.xml:1.18
--- phpdoc/fr/functions/info.xml:1.17   Tue Aug  7 05:04:53 2001
+++ phpdoc/fr/functions/info.xml        Wed Aug  8 05:43:01 2001
@@ -1,6 +1,6 @@
-<!-- $Revision: 1.17 $ -->
+<!-- $Revision: 1.18 $ -->
 <reference id="ref.info">
- <title>Options PHP & informations</title>
+ <title>Options PHP et informations</title>
  <titleabbrev>Options et informations PHP</titleabbrev>
  <refentry id="function.assert">
   <refnamediv>
@@ -496,10 +496,10 @@
      <programlisting role="php">
 &lt;?php
   $dat = getrusage();
-  echo $dat["ru_nswap"];         # Taille de la m&eacute;moire swap
-  echo $dat["ru_majflt"];        # Nombre de page m&eacute;moires utilis&eacute;es
-  echo $dat["ru_utime.tv_sec"];  # Temps utilisateur (en secondes)
-  echo $dat["ru_utime.tv_usec"]; # Temps utilisateur (en microsecondes)
+  echo $dat["ru_nswap"];        // Taille de la m&eacute;moire swap
+  echo $dat["ru_majflt"];       // Nombre de page m&eacute;moires utilis&eacute;es
+  echo $dat["ru_utime.tv_sec"]; // Temps utilisateur (en secondes)
+  echo $dat["ru_utime.tv_usec"];// Temps utilisateur (en microsecondes)
 ?&gt;
      </programlisting>
     </example>
@@ -791,7 +791,7 @@
        </row>
        <row>
         <entry>arg_separator</entry>
-        <entry>"&"</entry>
+        <entry>"&amp;"</entry>
         <entry>PHP_INI_ALL</entry>
        </row>
        <row>