Jump to content

Manual:$wgMetricsPrefix

From mediawiki.org
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'

Details

[edit]

Service name prefix for the MetricsFactory service.

Must be a non-empty string.

This does not affect the older StatsdDataFactory service.