?>
</th>
</tr>
<tr class="profiler_headers">
<th class="profiler_name" style="float:none;">Benchmark</th>
<th class="profiler_min">Min</th>
<th class="profiler_max">Max</th>
<th class="profiler_average">Average</th>
<th class="profiler_total">Total</th>
</tr>
<?php
foreach ($benchmarks as $name => $tokens) {
?>
<tr class="profiler_mark profiler_time">
<?php
$stats = Debug_Profiler::stats($tokens);
?>
<th class="profiler_name" rowspan="2"><?php
echo $name, ' (', count($tokens), ')';
?>
</th>
<?php
foreach (array('min', 'max', 'average', 'total') as $key) {
?>
<td class="profiler_<?php
echo $key;
?>
"><?php
echo number_format($stats[$key]['time'], 6), ' ', 'seconds';
?>
</td>
