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.