Manual:$wgMetricsPrefix/pl
Profiling: $wgMetricsPrefix | |
---|---|
Service name prefix for the MetricsFactory service. |
|
Wprowadzono w wersji: | 1.38.0 (Gerrit change 721627; git #0e150f8c) |
Usunięto w wersji: | nadal w użyciu |
Dozwolone wartości: | (string) |
Domyślna wartość: | 'mediawiki' |
Inne ustawienia: Alfabetycznie | Według funkcji |
Szczegóły
Service name prefix for the MetricsFactory service.
Must be a non-empty string.
This does not affect the older StatsdDataFactory service.