Handbuch:$wgMetricsPrefix
 | Diese Funktion wurde in der Version 1.40.0 aus dem MediaWiki-Kern entfernt. Auf $wgStatsPrefix findet sich eine alternative Möglichkeit, diese Funktion zu nutzen. |
| Profilierung: $wgMetricsPrefix | |
|---|---|
| Service name prefix for the MetricsFactory service. |
|
| Eingeführt in Version: | 1.38.0 (Gerrit change 721627; git #0e150f8c) |
| Entfernt in Version: | 1.40.0 (Gerrit change 891868; git #fa92ab43) |
| 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.