Manual:$wgProfileToCommentUser
From MediaWiki.org
 |
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.
| Language: | English • Français • 日本語 |
|---|
