', str_replace(array('', ''), '', highlight_file($file, true)));
foreach ($syntax as $num => $string): $num++;?>
id="line_emph">
profiling in the browser
', str_replace(array('', ''), '', highlight_file($file, true)));
foreach ($syntax as $num => $string): $num++;?>
id="line_emph">