From b93269f7bbb44e162932123c5b5a59990fdb1d87 Mon Sep 17 00:00:00 2001 From: Tristan Darricau Date: Thu, 12 Jun 2014 23:35:55 +0200 Subject: [PATCH] [ticket/12687] Use microtime(true) PHPBB3-12687 --- phpBB/includes/functions.php | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/phpBB/includes/functions.php b/phpBB/includes/functions.php index 3634e9a01c..d0445841f4 100644 --- a/phpBB/includes/functions.php +++ b/phpBB/includes/functions.php @@ -5050,8 +5050,7 @@ function phpbb_generate_debug_output($db, $config, $auth, $user) // Output page creation time if (defined('PHPBB_DISPLAY_LOAD_TIME')) { - $mtime = explode(' ', microtime()); - $totaltime = $mtime[0] + $mtime[1] - $GLOBALS['starttime']; + $totaltime = microtime(true) - $GLOBALS['starttime']; $debug_info[] = sprintf('Time : %.3fs', $totaltime); $debug_info[] = $db->sql_num_queries() . ' Queries';