Manual:$wgProfilerType

From MediaWiki.org
Jump to navigation Jump to search
Other languages:
English • ‎français • ‎magyar • ‎polski • ‎日本語
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[edit]

If not empty, specifies profiler type to load.