Manual:$wgElementTiming
From mediawiki.org
This feature was removed completely in version 1.39.0.
| Miscellaneous settings: $wgElementTiming | |
|---|---|
| Enable Element Timing. |
|
| Introduced in version: | 1.33.0 (Gerrit change 497468; git #e83e1fc) |
| Removed in version: | 1.39.0 (Gerrit change 793008; git #ebffc4f6) |
| Allowed values: | (boolean) |
| Default value: | false |
| Other settings: Alphabetical | By function | |