0) { $sql_time = "(SQL ".$sql_time."ms)"; } else { $sql_time = "(SQL <0ms)"; } } else { $sql_time = ""; } if (isset($exec_start)) { $exec_end = microtime(true); $exec_time = ($exec_end - $exec_start); $exec_time = round($exec_time, 6) * 1000; } else { $exec_time = 0; } ?>