Manual:$wgUDPProfilerPort

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
Deutsch • ‎English • ‎Nederlands • ‎català • ‎español • ‎français • ‎italiano • ‎polski • ‎português • ‎português do Brasil • ‎suomi • ‎日本語
Profiling: $wgUDPProfilerPort
Port for UDP profiler.
Introduced in version:1.6.0 (r12252)
Deprecated in version:1.25.0 (git #10f06831)
Removed in version:1.27.0 (git #487265cd)
Allowed values:string
Default value:null (MW 1.25+)
'3811' (MW 1.6–1.24)
Other settings: Alphabetical | By function

Details[edit]

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

See also[edit]