Jump to content

Manual:$wgDebugProfiling

From mediawiki.org
Profiling: $wgDebugProfiling
Detects non-matching wfProfileIn/wfProfileOut calls
Introduced in version:1.1.0
Removed in version:1.23.0 (Gerrit change 116049; git #09a82a4b)
Allowed values:(boolean)
Default value:false

Details

Detects non-matching wfProfileIn/wfProfileOut calls.