= '5.0.0'){ $query_time = number_format(microtime(true) - $GlobalStartTime, 6); }else{ list($now_usec, $now_sec) = explode(' ', microtime()); list($start_usec, $start_sec) = explode(' ', $GlobalStartTime); $query_time = number_format(($now_sec - $start_sec) + ($now_usec - $start_usec), 6); } echo '

用时 '.$query_time.' 秒

'; } ?>