Manual:$wgStatsdMetricPrefix/pl
Profiling: $wgStatsdMetricPrefix | |
---|---|
Prefix for metric names sent to $wgStatsdServer |
|
Wprowadzono w wersji: | 1.25.0 (Gerrit change 191854; git #87dfc20b) |
Usunięto w wersji: | nadal w użyciu |
Dozwolone wartości: | (string) |
Domyślna wartość: | (patrz poniżej) |
Inne ustawienia: Alfabetycznie | Według funkcji |
Default value
Wersja MediaWiki: | ≥ 1.27 |
/**
* Prefix for metric names sent to $wgStatsdServer.
*
* @see MediaWikiServices::getStatsdDataFactory
* @see BufferingStatsdDataFactory
* @since 1.25
*/
$wgStatsdMetricPrefix = 'MediaWiki';
Wersja MediaWiki: | 1.26 |
$wgStatsdMetricPrefix = false;
Wersja MediaWiki: | 1.25 |
Used in includes/context/RequestContext.php, but undefined in DefaultSettings.php.