Ho risolto in un altro modo, a chi potrebbe servire:
browser.php
Codice PHP:
<?php
function GetBrowser(){
$browser = array("Internet Explorer" => "MSIE",
"FireFox" => "Firefox",
"Lynx" => "Lynx",
"Opera" => "Opera",
"WebTV" => "WebTV",
"Konqueror" => "Konqueror",
"Bot" => "bot|Google|slurp|scooter|spider|infoseek",
"Netscape" => "Nav|Gold|x11|Netscape",
);
foreach($browser as $chiave => $valore){
if(eregi($valore, $_SERVER["HTTP_USER_AGENT"])){
return $chiave;
}
}
return "Altro";
}
?>
index.php
Codice PHP:
<?php
include('browser.php');
if(GetBrowser() == "Internet Explorer"){
header('Location: home.html');
}else{
header('Location: home2.html');
}
?>
Questo potete fare in modo che cambi una determinata cosa invece di andare in tutt'altra pagina, per esempio se uno ha un menù in javascript che non permette la visualizzazione del sito su mozilla (come nel mio caso) cambi il menù in uno html così:
index.php
Codice PHP:
[PHP]
<?php
include('browser.php');
if(GetBrowser() == "Internet Explorer"){
include('menu.js');
}else{
include('menu.html');
}
?>
[/PHP]