devtools

cc00be43 - Fix CPU Profiler when "advanced developer mode" is enabled (#9528)