Good point. Rather than simply simplifying that kind of case we could add
to the $wgProfiler array a callback functionality that can return a
boolean on whether to start the profiler.
Or which one to start, because, um, we start different ones.
Domas