v = document.getElementById('_profiler_sql').checked?'sql':'';
v += document.getElementById('_profiler_nocached').checked?(v?'|':'')+'nocached':'';
v += document.getElementById('_profiler_output').checked?(v?'|':'')+'output':'';
v += document.getElementById('_profiler_filelist').checked?(v?'|':'')+'filelist':'';
v += document.getElementById('_profiler_xhprof').checked?(v?'|':'')+'xhprof':'';
if(!v)v='yes';
}
newsearch +=n+'='+v;
}
document.location.href = newsearch+document.location.hash;
}
</script>
<div style="position:absolute;z-index:99999;width:100%;left:0;">
<div style="padding:10px 10px 0 10px;">
<div class="profilerdiv"><a name="onlineprofiler"></a><?php
foreach (Debug_Profiler::groups() as $group => $benchmarks) {
?>
<table class="profiler">
<tr class="profiler_group">
<th class="profiler_name" colspan="5" style="float:none;"><?php
echo ucfirst($group);
?>
</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>
