PHP 获取页面运行时间 / PHP get page run time

define('DEBUG', TRUE);
function microtime_float()
{
    list($usec, $sec) = explode(" ", microtime());
    return ((float)$usec + (float)$sec);
}
DEBUG && register_shutdown_function(function($time){
      print( '');
}, microtime_float());