Jump to content

Manual:$wgStatsdServer

From mediawiki.org
This page is a translated version of the page Manual:$wgStatsdServer and the translation is 57% complete.
プロファイリング: $wgStatsdServer
statsd サーバーの「ホスト」または「ホスト:ポート」。
導入されたバージョン:1.25.0 (Gerrit change 221044; git #Ie1b799a)
除去されたバージョン:使用中
許容される値:(ホスト名、ホスト名:ポート を含む文字列) または false
既定値:(下記参照)

詳細

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.

既定値

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;
MediaWiki バージョン:
1.25

includes/GlobalFunctions.php で使用されていますが、DefaultSettings.php で定義されていません。

関連項目