Manual:$wgUDPProfilerPort/pl

Category:MediaWiki configuration settings/pl#UDPProfilerPortCategory:MediaWiki configuration settings introduced in version 1.6.0/pl#UDPProfilerPortCategory:MediaWiki configuration settings deprecated in version 1.25.0/pl#UDPProfilerPortCategory:MediaWiki configuration settings removed in version 1.27.0/pl#UDPProfilerPortCategory:MediaWiki deprecated or obsolete features/pl#UDPProfilerPortCategory:Debug variables/pl#UDPProfilerPort
Profiling: $wgUDPProfilerPort
Port for UDP profiler.
Wprowadzono w wersji:1.6.0 (r12252)
Przestarzałe w wersji:1.25.0 (Gerrit change 177277; git #10f06831)
Usunięto w wersji:1.27.0 (Gerrit change 257404; git #487265cd)
Dozwolone wartości:(string)
Domyślna wartość:null (MediaWiki 1.25+)
'3811' (MediaWiki 1.6–1.24)

Szczegóły

Port for UDP profiler. In MediaWiki 1.25 and later, set $wgProfiler['udpport'] instead.

Zobacz też

Category:Debug variables/pl Category:MediaWiki configuration settings/pl Category:MediaWiki configuration settings deprecated in version 1.25.0/pl Category:MediaWiki configuration settings introduced in version 1.6.0/pl Category:MediaWiki configuration settings removed in version 1.27.0/pl Category:MediaWiki deprecated or obsolete features/pl