amicrotime_diff (line 55)
Get the time difference in microseconds between two PHP microtimes.
Original source: php.net
integer
amicrotime_diff
(string $a, string $b)
-
string
$a: First microtime
-
string
$b: Second microtime
tick_func (line 91)
Profile tick function.
void
tick_func
()