Jump to content

Manual:$wgStatsdServer

From mediawiki.org
Profiling: $wgStatsdServer
A host or host:port of a statsd server.
Introduced in version:1.25.0 (Gerrit change 221044; git #Ie1b799a)
Removed in version:Still in use
Allowed values:(string containing a host, host:port) or false
Default value:(see below)

Details

[edit]

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

[edit]
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.

See also

[edit]