[PHP-JS] $HTTP_USER_AGENT avec ou sans $_SERVER
	
	
		Bonjour
J'avais une fonction qui me retournait le nom du navigateur :
	Code:
	
| 12
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 
 | if (eregi('msie', $HTTP_USER_AGENT) && !eregi('opera', $HTTP_USER_AGENT))
{
// Internet Explorer
$navigateur="MSIE";
}
elseif (eregi('opera', $HTTP_USER_AGENT))
{
// Opera
$navigateur="Opera";
}
elseif (eregi('Konqueror', $HTTP_USER_AGENT))
{
 $navigateur="Konqueror";
}
Elseif (eregi('Mozilla/4.', $HTTP_USER_AGENT))
{
// Netscape 4.x
$navigateur="Netscape 4.x";
}
elseif (eregi('Mozilla/5.0', $HTTP_USER_AGENT))
{
// Netscape 6
$navigateur="Netscape 6.x";
}
else
{
// Autres navigateurs
$navigateur="Navigateur inconnu";
} | 
 Elle ne marche plus !
Je dois remplacer $HTTP_USER_AGENT par $_SERVER["HTTP_USER_AGENT"]. Depuis quand y-a t'il ce problème ?