From 0ea068cfd3b825ab5d97682478ab17074a63afd5 Mon Sep 17 00:00:00 2001 From: uroskn Date: Sun, 3 Jul 2016 12:08:10 +0200 Subject: [PATCH] On PHP5.4+ use REQUEST_TIME_FLOAT instead of microtime for starting measurment of page loading time --- GameEngine/Generator.php | 1 + 1 file changed, 1 insertion(+) diff --git a/GameEngine/Generator.php b/GameEngine/Generator.php index aff11e96..71fdd1f9 100755 --- a/GameEngine/Generator.php +++ b/GameEngine/Generator.php @@ -148,6 +148,7 @@ if (date('Ymd',time()) == date('Ymd',$time)) { } public function pageLoadTimeStart() { + if (isset($_SERVER["REQUEST_TIME_FLOAT"])) return $_SERVER["REQUEST_TIME_FLOAT"]; return microtime(true); }