Jump to content

Manual:$wgProfilerType

From mediawiki.org
Profiling: $wgProfilerType
If not empty, specifies profiler type to load.
Introduced in version:1.6.0 (r12231)
Removed in version:1.8.0
Allowed values:Unspecified
Default value:''

Details

If not empty, specifies profiler type to load.