Manual:$wgMetricsPrefix
From mediawiki.org
This feature was removed from MediaWiki core in version 1.40.0.
Please see $wgStatsPrefix for an alternative way to use this feature.
| Profiling: $wgMetricsPrefix | |
|---|---|
| Service name prefix for the MetricsFactory service. |
|
| Introduced in version: | 1.38.0 (Gerrit change 721627; git #0e150f8c) |
| Removed in version: | 1.40.0 (Gerrit change 891868; git #fa92ab43) |
| Allowed values: | (string) |
| Default value: | 'mediawiki' |
| Other settings: Alphabetical | By function | |
Details
[edit ]Service name prefix for the MetricsFactory service.
Must be a non-empty string.
This does not affect the older StatsdDataFactory service.