From d7af14e504a294988497a8f5c01bd05bdf360986 Mon Sep 17 00:00:00 2001 From: Andrey Savchenko Date: Fri, 21 Dec 2018 20:44:04 +0200 Subject: [PATCH] Increased precision of reported server timing numbers. --- src/Manager/Server_Timing_Manager.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Manager/Server_Timing_Manager.php b/src/Manager/Server_Timing_Manager.php index eb5593c..e8703de 100644 --- a/src/Manager/Server_Timing_Manager.php +++ b/src/Manager/Server_Timing_Manager.php @@ -61,7 +61,7 @@ class Server_Timing_Manager { continue; } - $header .= sprintf( '%s;dur=%d;desc="%s", ', $record->get_category(), $duration, $record->get_name() ); + $header .= sprintf( '%s;dur=%.2f;desc="%s", ', $record->get_category(), $duration, $record->get_name() ); } header( 'Server-Timing: ' . $header );