Jump to content

Manual:$wgMetricsPrefix/pl

From mediawiki.org
This page is a translated version of the page Manual:$wgMetricsPrefix and the translation is 14% complete.
Profiling: $wgMetricsPrefix
Service name prefix for the MetricsFactory service.
Wprowadzono w wersji:1.38.0 (Gerrit change 721627; git #0e150f8c)
Usunięto w wersji:1.40.0 (Gerrit change 891868; git #fa92ab43)
Dozwolone wartości:(string)
Domyślna wartość:'mediawiki'

Szczegóły

Service name prefix for the MetricsFactory service.

Must be a non-empty string.

This does not affect the older StatsdDataFactory service.