From c74123098beb026de713efa139a532f9ba3aa9cd Mon Sep 17 00:00:00 2001
From: Franz Liedke <franz@develophp.org>
Date: Sun, 24 Jun 2012 21:27:57 +0300
Subject: [PATCH] Render page generation time on anbu profiler console.

---
 laravel/profiling/template.blade.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/laravel/profiling/template.blade.php b/laravel/profiling/template.blade.php
index 0b0ffef8..a06f7957 100755
--- a/laravel/profiling/template.blade.php
+++ b/laravel/profiling/template.blade.php
@@ -61,6 +61,9 @@
 				@endif
 			</a>
 		</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-close" href="#">&times;</a></li>
 		<li class="anbu-tab-right"><a id="anbu-zoom" href="#">&#8645;</a></li>