แสดงเวลาในการประมวลผล

โค้ดตามนี้เลยครับ
function microtime_float()
{
list($usec, $sec) = explode(" ", microtime());
return ((float)$usec + (float)$sec);
}

$time_start = microtime_float();

// Sleep for a while
for($i=0;$i<10000;$i++)
{
}
// usleep(100);

$time_end = microtime_float();
$time = $time_end - $time_start;

echo "Did nothing in $time seconds ";