[PHP-DOC] cvs: phpdoc /en/functions datetime.xml From: Jesus M. Castagnetto (jmcastagnetto <email protected>)
Date: 03/17/01

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();