Manual:$wgUDPProfilerPort

Profiling: $wgUDPProfilerPort
Port for UDP profiler.
Introduced in version:1.6.0 (r12252)
Deprecated in version:1.25.0 (Gerrit change 177277; git #10f06831)
Removed in version:1.27.0 (Gerrit change 257404; git #487265cd)
Allowed values:(string)
Default value:null (MediaWiki 1.25+)
'3811' (MediaWiki 1.6–1.24)

Details

edit

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

See also

edit