Bug 833495 - Add an option to show Gecko platform data in the Profiler; r=robcee