Manual:$wgProfileToCommentUser

From mediawiki.org
Jump to navigation Jump to search
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

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