".$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 = (float)$time[0]; $sec = (float)$time[1]; return $sec + $usec; } }