Manual:$wgUDPProfilerPort
| この機能は、バージョン 1.27.0 で MediaWiki コアから除去されました。 この機能を使用するための代替方法については $wgProfiler を参照してください。 |
| プロファイリング: $wgUDPProfilerPort | |
|---|---|
| UDP プロファイラーのポート。 |
|
| 導入されたバージョン: | 1.6.0 (r12252) |
| 廃止予定になったバージョン: | 1.25.0 (Gerrit change 177277; git #10f06831) |
| 除去されたバージョン: | 1.27.0 (Gerrit change 257404; git #487265cd) |
| 許容される値: | (文字列) |
| 既定値: | null (MediaWiki 1.25+)'3811' (MediaWiki 1.6–1.24) |
| その他の設定: アルファベット順 | 機能順 | |
詳細
UDP プロファイラーのポートです。
MediaWiki 1.25 以降では、代わりに $wgProfiler['udpport'] を使用してください。