计算php执行时间的方法

有时我们需要对比二个代码的效率，想知道哪种方法执行速度快。这需要计算php的执行时间，看下面的代码:

<?php
$s = get_microtime();
for($i=0;$i<10000;$i++){
 echo $i;
}
$e = get_microtime();
$t = $e-$s;
echo "执行时间:".$t;

function get_microtime(){  
 list($usec, $sec) = explode(' ', microtime());  
 return ((float)$usec + (float)$sec);  
}
?>