Jump to content
MediaWiki

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)
Other settings: Alphabetical | By function

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
$wgStatsdServer = false;
MediaWiki version:
1.25

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

See also

[edit ]

AltStyle によって変換されたページ (->オリジナル) /