laravel/laravel — pull request #898 by franzliedke (2012-07-03 14:42:22+00:00)
Title: [Profiler] Display page rendering time & memory usage

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.
This now also takes care of displaying the memory usage (and peak memory).

Plus, this pull request is targeted at the right Laravel branch - which pull request #856 was not...