Manual:$wgProfileToCommentUser

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎magyar • ‎polski • ‎日本語
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
Other settings: Alphabetical | By function

Details[edit]

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