Help for this page
$start = [times()]; ... $time_diff =($start->[0] + $start->[1]) - ($end->[0] + $end->[1]);
$start=[gettimeofday]; ...somecode... $end = [gettimeofday]; $time_diff = tv_interval($start, $end);