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.