Manual:$wgProfileToCommentUser

From MediaWiki.org

Jump to: navigation, search
This feature has been deprecated and should not be used with current versions of MediaWiki.

This feature was deprecated (or possibly removed completely) in version 1.5.0.

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:
Default value: false

Other settings: Alphabetical | By Function


[edit] Details

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