Handbuch:$wgStatsdServer
Profilierung: $wgStatsdServer | |
---|---|
A host or host:port of a statsd server. |
|
Eingeführt in Version: | 1.25.0 (Gerrit change 221044; git #Ie1b799a) |
Entfernt in Version: | Weiterhin vorhanden |
Erlaubte Werte: | (string containing a host, host:port) or false |
Standardwert: | (siehe unten) |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
Destination of statsd metrics.
A host or host:port of a statsd server. Port defaults to 8125.
If not set, statsd metrics will not be collected.
Standardwert
MediaWiki Version: | ≥ 1.26 |
/**
* Destination of statsd metrics.
*
* A host or host:port of a statsd server. Port defaults to 8125.
*
* If not set, statsd metrics will not be collected.
*
* @see MediaWiki::emitBufferedStatsdData()
* @since 1.25
*/
$wgStatsdServer = false;
MediaWiki Version: | 1.25 |
Used in includes/GlobalFunctions.php, but undefined in DefaultSettings.php.
Siehe auch
- wikitech:Graphite#Data_sources - "Graphite - data sources" on Wikitech
- wikitech:Statsd - "Statsd" auf Wikitech