Manual:$wgProfilerType
From MediaWiki.org
This feature has been deprecated and should not be used with current versions of MediaWiki.
This feature was deprecated (or possibly removed completely) in version 1.8.0.
| 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: | |
| Default value: | (empty string) |
Other settings: Alphabetical | By Function
[edit] Details
If not empty, specifies profiler type to load.
