Manual:$wgMetricsFormat

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

Details[edit]

Metrics output format.

If null, metrics will not be rendered nor sent.

This only affects metrics instantiated by the MetricsFactory service.