From 9ce3a297093c7139996983ecc81f9e64c58b6942 Mon Sep 17 00:00:00 2001
From: "Jesus M. Castagnetto" <jmcastagnetto@php.net>
Date: Sun, 18 Mar 2001 01:37:02 +0000
Subject: [PATCH] Fixed error in microtime example

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@43783 c90b9560-bf6c-de11-be94-00142212c4b1
---
 functions/datetime.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/functions/datetime.xml b/functions/datetime.xml
index 8f636fc758..112cc14e35 100644
--- a/functions/datetime.xml
+++ b/functions/datetime.xml
@@ -637,7 +637,7 @@ echo gmstrftime ("%b %d %Y %H:%M:%S", mktime (20,0,0,12,31,98))."\n";
       <programlisting role="php">
 function getmicrotime(){ 
     list($sec, $usec) = explode(" ",microtime()); 
-    return ($sec + $usec); 
+    return ((float)$usec + (float)$sec); 
     } 
 
 $time_start = getmicrotime();