diff --git a/htdocs/core/class/menubase.class.php b/htdocs/core/class/menubase.class.php
index 2c21cb3c512..cb370e31d96 100644
--- a/htdocs/core/class/menubase.class.php
+++ b/htdocs/core/class/menubase.class.php
@@ -511,7 +511,7 @@ class Menubase
$sql.= " ORDER BY m.position, m.rowid";
//print $sql;
-//$tmp1=dol_microtime_float();
+//$tmp1=microtime(true);
//print '>>> 1 0
';
dol_syslog(get_class($this)."::menuLoad mymainmenu=".$mymainmenu." myleftmenu=".$myleftmenu." type_user=".$type_user." menu_handler=".$menu_handler." tabMenu size=".count($tabMenu)."", LOG_DEBUG);
$resql = $this->db->query($sql);
@@ -575,7 +575,7 @@ class Menubase
$title = $langs->trans($menu['titre']);
}
}
-//$tmp4=dol_microtime_float();
+//$tmp4=microtime(true);
//print '>>> 3 '.($tmp4 - $tmp3).'
';
// We complete tabMenu
diff --git a/htdocs/core/lib/functions.lib.php b/htdocs/core/lib/functions.lib.php
index 0ae89d01274..6bf1bccd223 100644
--- a/htdocs/core/lib/functions.lib.php
+++ b/htdocs/core/lib/functions.lib.php
@@ -4938,7 +4938,7 @@ function printCommonFooter($zone='private')
print 'MAIN_OPTIMIZE_SPEED='.(isset($conf->global->MAIN_OPTIMIZE_SPEED)?$conf->global->MAIN_OPTIMIZE_SPEED:'off');
if ($micro_start_time)
{
- $micro_end_time=dol_microtime_float();
+ $micro_end_time = microtime(true);
print ' - Build time: '.ceil(1000*($micro_end_time-$micro_start_time)).' ms';
}
if (function_exists("memory_get_usage"))
diff --git a/htdocs/main.inc.php b/htdocs/main.inc.php
index 74a75b234ea..71dc8df10e5 100644
--- a/htdocs/main.inc.php
+++ b/htdocs/main.inc.php
@@ -35,7 +35,6 @@
//@ini_set('memory_limit', '64M'); // This may be useless if memory is hard limited by your PHP
// For optional tuning. Enabled if environment variable MAIN_SHOW_TUNING_INFO is defined.
-// A call first. Is the equivalent function dol_microtime_float not yet loaded.
$micro_start_time=0;
if (! empty($_SERVER['MAIN_SHOW_TUNING_INFO']))
{