devtools

Fix CPU Profiler when "advanced developer mode" is enabled

#9528

Merged