Jump to content

Manual:$wgProfileToCommentUser

From mediawiki.org
Profiling: $wgProfileToCommentUser
Put profiling data in HTML comments in the output file, for a given user only.
Introduced in version:1.4.1
Removed in version:1.5.0
Allowed values:Unspecified
Default value:false

Details

[edit]

Put profiling data in HTML comments in the output file, for a given user only.