Bug 842650 - Disable Profiler Preference in Firefox 20, r=robcee, a=lsblakk