Manual:$wgMetricsPrefix

From mediawiki.org
Jump to navigation Jump to search
Other languages:
Profiling: $wgMetricsPrefix
Metrics service name prefix.
Introduced in version:1.38.0 (Gerrit change 721627; git #0e150f8c)
Removed in version:still in use
Allowed values:(string)
Default value:'mediawiki'

Details[edit]

Metrics service name prefix.

Required. Must not be zero-length.

This only affects metrics instantiated by the MetricsFactory service.