laravel/laravel — pull request #699 by falzhobel (2012-05-23 03:13:31+00:00)
Title: Profiler js finetune

Went through the front-end part of the profiler, cleaning and linting the JavaScript, and added event.preventDefault() to all click events so page doesn't jump to top on href="#"

My second all-time pull request on GitHub, feel free to let me know if I'm doing something wrong here ;)