Translations:Manual:$wgEnableProfileInfo/7/en

You can also set $Profiler to a different value in order to store/display profiling data differently.