Manual:$wgStatsdServer

From mediawiki.org
Jump to navigation Jump to search
Other languages:
English • ‎français • ‎magyar • ‎中文 • ‎日本語
Site Statistics: $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 wfLogProfilingData
 * @since 1.25
 */
$wgStatsdServer = false;
MediaWiki version:
1.25

Used in includes/GlobalFunctions.php, but undefined in DefaultSettings.php.

See also[edit]