bgirard/Gecko-Profiler-Addon — pull request #62 by gijsk (2013-11-14 17:59:45+00:00)
Title: Fix toolbar button ID, fixes issue #61

This will break the location of the button if people have customized it, but presumably they know how to put it back if they have. If they haven't customized it, this should just have it show up wherever it shows up by default (nav-bar).