php计算一个页面执行时间函数写法

/*
@ 计算php程序运行时间
*/
functionmicrotime_float()
{
list($usec,$sec) = explode(” “, microtime());
return((float)$usec+ (float)$sec);
}
//开始计时，放在头部
$starttime= microtime_float();
//结束计时，放在最底部
$runtime= number_format((microtime_float() – $starttime), 4).'s';
//输出
echo‘RunTime:'.$runtime;