Handbuch:$wgMetricsPrefix
Profilierung: $wgMetricsPrefix | |
---|---|
Service name prefix for the MetricsFactory service. |
|
Eingeführt in Version: | 1.38.0 (Gerrit change 721627; git #0e150f8c) |
Entfernt in Version: | weiterhin vorhanden |
Erlaubte Werte: | (Zeichenkette) |
Standardwert: | 'mediawiki' |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
Service name prefix for the MetricsFactory service.
Muss eine nicht leere Zeichenkette sein.
This does not affect the older StatsdDataFactory service.