Manual:$wgMetricsPrefix/pl
| Ta funkcja została usunięta z jądra MediaWiki w wersji 1.40.0. Proszę zobaczyć alternatywny sposób użycia tej funkcji na $wgStatsPrefix. |
| 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' |
| 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.