".$label.htmlspecialchars($output,ENT_QUOTES).""; } else { $output = $label . " : " . print_r($var, true); } }else { ob_start(); var_dump($var); $output = ob_get_clean(); if(!extension_loaded('xdebug')) { $output = preg_replace("/\]\=\>\n(\s+)/m", "] => ", $output); $output = '

'. $label. htmlspecialchars($output, ENT_QUOTES). '

'; } } if ($echo) { echo($output); return null; }else return $output; } } /** * 获取执行时间 * 例如:$t1 = ExecTime(); * 在一段内容处理之后: * $t2 = ExecTime(); * 我们可以将2个时间的差值输出:echo $t2-$t1; * * @return int */ if ( ! function_exists('ExecTime')) { function ExecTime() { $time = explode(" ", microtime()); $usec = (double)$time[0]; $sec = (double)$time[1]; return $sec + $usec; } }