Manual:$wgUDPProfilerPort/de-formal

Details
Port for UDP profiler. In MediaWiki 1.25 and later, set  instead.