MiniProfiler/rack-mini-profiler — pull request #106 by koffeinfrei (2014-11-03 12:22:31+00:00)
Title: Don't load jquery hotkeys when it's already loaded

Only load jQuery.hotkeys when it's not yet defined.

Re-requiring the library breaks pages that already have the library included.