Jump to content

Manual:$wgStatsdServer/ru

From mediawiki.org
This page is a translated version of the page Manual:$wgStatsdServer and the translation is 7% complete.
Профилирование: $wgStatsdServer
A host or host:port of a statsd server.
Введено в версии:1.25.0 (Gerrit change 221044; git #Ie1b799a)
Удалено в версии:всё ещё используется
Допустимые значения:(string containing a host, host:port) or false
Значение по умолчанию:(see below)

Details

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

Версия 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

См. также