Jump to content

Manual:$wgElementTiming

From mediawiki.org
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