girder/girder — pull request #112 by zachmullen (2014-03-18 00:09:18+00:00)
Title: Browser plugin

I made some slight modifications to how this is served as static content; it's now done conditionally based on a very minimal plugin. Since @ronichoudhury 's branch was on his fork, I had to close and re-create a pull request.