On PHP5.4+ use REQUEST_TIME_FLOAT instead of microtime for starting measurment of page loading time

2026-06-28 00:24:23 +00:00 · 2016-07-03 12:08:10 +02:00
parent 29c967f734
commit 0ea068cfd3
1 changed files with 1 additions and 0 deletions
@@ -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);
 	}