From ba69404da80a609a3684dcec3065ec3d95d3f5e5 Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@users.sourceforge.net>
Date: Fri, 18 May 2007 14:49:48 +0000
Subject: [PATCH] Added fucntion dol_microtime_float

---
 htdocs/lib/functions.inc.php | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/htdocs/lib/functions.inc.php b/htdocs/lib/functions.inc.php
index f3f540ade54..e095a8a482e 100644
--- a/htdocs/lib/functions.inc.php
+++ b/htdocs/lib/functions.inc.php
@@ -2706,4 +2706,14 @@ function ajax_autocompleter($selected='',$htmlname,$url,$indicator='working')
 	return $script;
 }
 
+/**
+*	\brief		Fonction simple identique à microtime de PHP 5 mais compatible PHP 4
+*	\return		float		Time en millisecondes avec decimal pour microsecondes
+*/
+function dol_microtime_float()
+{
+    list($usec, $sec) = explode(" ", microtime());
+    return ((float)$usec + (float)$sec);
+}
+
 ?>