[PHP-DOC] cvs: phpdoc /en/functions datetime.xml

[Jesus M. Castagnetto]

jmcastagnetto           Sat Mar 17 17:37:02 2001 EDT

  Modified files:              
    /phpdoc/en/functions        datetime.xml 
  Log:
  Fixed error in microtime example
  
  
Index: phpdoc/en/functions/datetime.xml
diff -u phpdoc/en/functions/datetime.xml:1.33 phpdoc/en/functions/datetime.xml:1.34
--- phpdoc/en/functions/datetime.xml:1.33       Fri Mar 16 21:37:52 2001
+++ phpdoc/en/functions/datetime.xml    Sat Mar 17 17:37:02 2001
@@ -637,7 +637,7 @@
       <programlisting role="php">
 function getmicrotime(){ 
     list($sec, $usec) = explode(" ",microtime()); 
-    return ($sec + $usec); 
+    return ((float)$usec + (float)$sec); 
     } 
 
 $time_start = getmicrotime();