Manual:$wgUDPProfilerPort
From MediaWiki.org
| Profiling: $wgUDPProfilerPort | |
|---|---|
| Port for UDP profiler. |
|
| Introduced in version: | 1.6.0 (r12252) |
| Removed in version: | still in use |
| Allowed values: | string |
| Default value: | '3811' |
Other settings: Alphabetical | By Function
Details [edit]
Port for UDP profiler.
See also [edit]
| Language: | English • français • 日本語 |
|---|
