Manuel:$wgUDPProfilerPort
| Cette fonctionnalité a été supprimée du noyau Mediawiki dans la version 1.27.0. Voyez $wgProfiler comme manière alternative pour utiliser cette fonctionnalité. |
| Profilage: $wgUDPProfilerPort | |
|---|---|
| Port pour le profileur UDP. |
|
| Introduit dans la version : | 1.6.0 (r12252) |
| Obsolète dans la version : | 1.25.0 (Gerrit change 177277; git #10f06831) |
| Retiré dans la version : | 1.27.0 (Gerrit change 257404; git #487265cd) |
| Valeurs autorisées : | (chaîne) |
| Valeur par défaut : | null (MediaWiki 1.25+)'3811' (MediaWiki 1.6–1.24) |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Port pour le profileur UDP.
En MediaWiki 1.25 et ultérieur, initialiser $wgProfiler['udpport'] à la place.