Replaced custom utime() function with microtime(true)

This commit is contained in:
Mike Rostermund
2016-01-08 13:33:32 +01:00
parent 6ac4a5c232
commit e2d1a8e7d9
8 changed files with 14 additions and 29 deletions
-7
View File
@@ -529,13 +529,6 @@ function is_odd($number) {
return $number & 1; // 0 = even, 1 = odd
}
function utime() {
$time = explode(" ", microtime());
$usec = (double)$time[0];
$sec = (double)$time[1];
return $sec + $usec;
}
function getpollergroup($poller_group='0') {
//Is poller group an integer
if (is_int($poller_group) || ctype_digit($poller_group)) {