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
[edit] Details
Port for UDP profiler.
[edit] See also
| Language: | English • Français • 日本語 |
|---|
