Manual:$wgStatsdServer/pl
Appearance
Profiling: $wgStatsdServer | |
---|---|
A host or host:port of a statsd server. |
|
Wprowadzono w wersji: | 1.25.0 (Gerrit change 221044; git #Ie1b799a) |
Usunięto w wersji: | nadal w użyciu |
Dozwolone wartości: | (string containing a host, host:port) or false |
Domyślna wartość: | (patrz poniżej) |
Inne ustawienia: Alfabetycznie | Według funkcji |
Szczegóły
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.
Default value
Wersja MediaWiki: | ≥ 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;
Wersja MediaWiki: | 1.25 |
Used in includes/GlobalFunctions.php, but undefined in DefaultSettings.php.
Zobacz też
- wikitech:Graphite#Data_sources - "Graphite - data sources" on Wikitech
- wikitech:Statsd - "Statsd" on Wikitech