PHP执行速度的获取

<?
//放在文件的开始处
list($a,$b) = explode(" " ,microtime());
$start = $b+$a;
 
//放在文件的结束处
list($aa,$bb) = explode(" " ,microtime());
$end = $bb+$aa;
 
//在输出的地方调用$runtime;
$runtime = number_format( ($end - $start), 5);
?>