Redirect con PHP in base al BROWSER

Il presente “spezzone” di codice redireziona una PAGINA in base al Browser UTILIZZATO.
Può essere molto utile in caso di redirezioni per Internet Explorer 10 o Internet Explorer 11
< Sulla parte finale lo script esegue anche una "concatenazione" sull'URL (es. http:/miosito/folder/folder...) <?php
function get_user_browser()
{
$u_agent = $_SERVER[‘HTTP_USER_AGENT’];
//echo $u_agent;

$ub = ”;
if(preg_match(‘/MSIE/i’,$u_agent))
{
$ub = “ie”;
}

elseif(strrpos($u_agent,’rv:11.0′))
{
$ub = “ie11”;
}

elseif(preg_match(‘/Firefox/i’,$u_agent))
{
$ub = “firefox”;
}
elseif(preg_match(‘/Safari/i’,$u_agent))
{
$ub = “safari”;
}
elseif(preg_match(‘/Chrome/i’,$u_agent))
{
$ub = “chrome”;
}
elseif(preg_match(‘/Flock/i’,$u_agent))
{
$ub = “flock”;
}
elseif(preg_match(‘/Opera/i’,$u_agent))
{
$ub = “opera”;
}

return $ub;
}

 
$browser = get_user_browser();
echo $browser;
if($browser == “ie”){
preg_match(‘/MSIE (.*?);/’, $_SERVER[‘HTTP_USER_AGENT’], $matches);
$version = $matches[1];
//echo $version;
//echo $_SERVER[“SERVER_ADDR”];

if($version > 9){

$indirizzo=”https://”.$_SERVER[“SERVER_ADDR”];
$indirizzo=$indirizzo.”/webmail/basic/”;
$indirizzo=”/webmail/basic/”;
echo $indirizzo;
header(“Location: $indirizzo”);

}
}

if($browser == “ie11”){

$indirizzo=”https://”.$_SERVER[“SERVER_ADDR”];
$indirizzo=$indirizzo.”/webmail/basic/”;
$indirizzo=”/webmail/basic/”;
echo $indirizzo;
header(“Location: $indirizzo”);
}
?>