Manual:$wgStatsdMetricPrefix/de
| Profilierung: $wgStatsdMetricPrefix | |
|---|---|
| Prefix for metric names sent to $wgStatsdServer |
|
| Eingeführt in Version: | 1.25.0 (Gerrit change 191854; git #87dfc20b) |
| Entfernt in Version: | Weiterhin vorhanden |
| Erlaubte Werte: | (Zeichenkette) |
| Standardwert: | (siehe unten) |
| Andere Einstellungen: Alphabetisch | Nach Funktion | |
Standardwert
| MediaWiki Version: | ≥ 1.27 |
/**
* Prefix for metric names sent to $wgStatsdServer.
*
* @see MediaWikiServices::getStatsdDataFactory
* @see BufferingStatsdDataFactory
* @since 1.25
*/
$wgStatsdMetricPrefix = 'MediaWiki';
| MediaWiki Version: | 1.26 |
$wgStatsdMetricPrefix = false;
| MediaWiki Version: | 1.25 |
Used in includes/context/RequestContext.php, but undefined in DefaultSettings.php.