From 28dedf5c6ed141fa3630968a37b35278a0fcf101 Mon Sep 17 00:00:00 2001 From: vanchelo Date: Sat, 17 Oct 2015 14:37:37 +0300 Subject: [PATCH] Fix time --- src/Console.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Console.php b/src/Console.php index ecc96d0..7c2fa68 100644 --- a/src/Console.php +++ b/src/Console.php @@ -106,7 +106,7 @@ public function execute($code) // Extend the profile $this->addProfile([ - 'time' => round(($endTime - $startTime) * 10000, 3), + 'time' => round(($endTime - $startTime) * 1000, 2), 'output' => $output, 'output_size' => strlen($output), ]);