Manuel:$wgUDPProfilerHost
| 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: $wgUDPProfilerHost | |
|---|---|
| Hôte 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 (1.25+)'127.0.0.1' (1.6–1.24) |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Hôte pour le profileur UDP.
En MediaWiki 1.25 et ultérieur, initialiser $wgProfiler['udphost'] à la place.