PHP Index non défini: HTTP_USER_AGENT
Le code suivant valide l'agent utilisateur accédant au site, mais j'obtiens l'erreur. Que dois-je mettre à jour pour s'adapter aux scénarios dans lesquels aucun agent utilisateur n'est défini?
erreur [~ # ~] [~ # ~] PHP Remarque: index non défini: HTTP_USER_AGENT dans Utils.php sur la ligne 7
CODE
public static function detectBrowser()
{
$userAgent = strtolower($_SERVER['HTTP_USER_AGENT']);
if (preg_match('/opera/', $userAgent)) {
$name = 'opera';
}
elseif (preg_match('/webkit/', $userAgent)) {
$name = 'safari';
}
elseif (preg_match('/msie/', $userAgent)) {
$name = 'msie';
}
elseif (preg_match('/mozilla/', $userAgent) && !preg_match('/compatible/', $userAgent)) {
$name = 'mozilla';
}
else {
$name = 'unrecognized';
}
if (preg_match('/.+(?:rv|it|ra|ie)[\/: ]([\d.]+)/', $userAgent, $matches)) {
$version = $matches[1];
}
else {
$version = 'unknown';
}
if (preg_match('/linux/', $userAgent)) {
$platform = 'linux';
}
elseif (preg_match('/Macintosh|mac os x/', $userAgent)) {
$platform = 'mac';
}
elseif (preg_match('/windows|win32/', $userAgent)) {
$platform = 'windows';
}
else {
$platform = 'unrecognized';
}
return array(
'name' => $name,
'version' => $version,
'platform' => $platform,
'userAgent' => $userAgent
);
}
L'en-tête User-Agent est facultatif. Les pare-feu peuvent le filtrer ou les gens peuvent configurer leurs clients pour l'omettre. Vérifiez simplement en utilisant isset()
s'il existe. Ou encore mieux, utilisez !empty()
comme un en-tête vide ne sera pas utile non plus:
public static function detectBrowser() {
if(empty($_SERVER['HTTP_USER_AGENT'])) {
return array(
'name' => 'unrecognized',
'version' => 'unknown',
'platform' => 'unrecognized',
'userAgent' => ''
);
}
// your old code here
}
Cependant, puisque tout votre code semble fonctionner correctement sur une chaîne vide et produire également les valeurs "inconnues", vous pouvez simplement modifier la ligne suivante:
$userAgent = strtolower($_SERVER['HTTP_USER_AGENT']);
comme ça:
$userAgent = isset($_SERVER['HTTP_USER_AGENT'])
? strtolower($_SERVER['HTTP_USER_AGENT'])
: '';
utilisez isset:
if( !isset( $_SERVER['HTTP_USER_AGENT'])){
$name = "none";
}else{
$userAgent = strtolower($_SERVER['HTTP_USER_AGENT']);
if (preg_match('/opera/', $userAgent)) {
$name = 'opera';
} [... yourcode ...]
}