Render page generation time on anbu profiler console.

This commit is contained in:
Franz Liedke 2012-06-24 21:27:57 +03:00
parent 59397eb726
commit c74123098b
1 changed files with 3 additions and 0 deletions

View File

@ -61,6 +61,9 @@
@endif @endif
</a> </a>
</li> </li>
@if (isset($time))
<li><a class="anbu-tab">Time <span class="anbu-count">{{ $time }}ms</span></a></li>
@endif
<li class="anbu-tab-right"><a id="anbu-hide" href="#">&#8614;</a></li> <li class="anbu-tab-right"><a id="anbu-hide" href="#">&#8614;</a></li>
<li class="anbu-tab-right"><a id="anbu-close" href="#">&times;</a></li> <li class="anbu-tab-right"><a id="anbu-close" href="#">&times;</a></li>
<li class="anbu-tab-right"><a id="anbu-zoom" href="#">&#8645;</a></li> <li class="anbu-tab-right"><a id="anbu-zoom" href="#">&#8645;</a></li>