Manual:$wgUDPProfilerPort/pt-br
Este recurso foi removido do núcleo do MediaWiki na versão 1.27.0. Por favor consulte $wgProfiler para encontrar uma alternativa de uilizar este recurso. |
Profiling: $wgUDPProfilerPort | |
---|---|
Port for UDP profiler. |
|
Introduzido na versão: | 1.6.0 (r12252) |
Depreciado na versão: | 1.25.0 (Gerrit change 177277; git #10f06831) |
Removido na versão: | 1.27.0 (Gerrit change 257404; git #487265cd) |
Valores permitidos: | (string) |
Valor padrão: | null (MediaWiki 1.25+)'3811' (MediaWiki 1.6–1.24) |
Outras definições: Alfabético | Por função |
Details
Port for UDP profiler.
In MediaWiki 1.25 and later, set $wgProfiler ['udpport']
instead.