laravel/laravel — pull request #856 by franzliedke (2012-06-24 18:30:37+00:00)
Title: [Profiler] Display page rendering time

As suggested [in this forum post](http://forums.laravel.com/viewtopic.php?pid=9992#p9992): this calculates the page generation time and displays it on the profiler bar.

Two things to consider before merging:
* time is measured from the call to `Profiler::attach()` to `Profiler::render()` - is that unclean / should the data somehow be passed to the profiler?
* the call to `Profiler::attach()` should probably be moved to be as early as possible so that this time is as realistic as possible