Wikimore

プロファイリング: $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

$wgStatsdServer = false;

MediaWiki バージョン:

1.25

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