Manual:$wgProfilerType

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
Deutsch • ‎English • ‎español • ‎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:(empty string)
Other settings: Alphabetical | By function

Details[edit]

If not empty, specifies profiler type to load.