Manual:$wgUDPProfilerPort

From MediaWiki.org
Jump to: navigation, search

Other languages:
català • ‎Deutsch • ‎English • ‎español • ‎suomi • ‎français • ‎italiano • ‎日本語 • ‎Nederlands • ‎polski • ‎português • ‎português do Brasil
Profiling: $wgUDPProfilerPort
Port for UDP profiler.
Introduced in version: 1.6.0 (r12252)
Deprecated in version: 1.25.0 (git #10f06831)
Removed in version: still in use
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 $wgProfilerManual:$wgProfiler['udpport'] instead.

See also[edit]