<?php
//get microtime function
function get_microtime()
{ $tmp=split(" ",microtime());
$gettime=$tmp[0]+$tmp[1];
//echo $gettime;
return $gettime;
}
$time_start = get_microtime();
for($i=0; $i<10000; $i++)
{
}
$time_end = get_microtime();
$time_use = $time_end - $time_start;
$time_use = number_format($time_use, 4);
echo $time_use;
?>
welcome to http://agrinmote.yeah.net
http://agrinmote.126.com