if ($_SERVER['SERVER_NAME'] != "bagpuss" && $_SERVER['SERVER_NAME'] != "bagpuss.org") { header("HTTP/1.1 301 Moved Permanently"); header("Location: https://bagpuss.org"); } $ie=false; if (strstr($_SERVER['HTTP_USER_AGENT'],"MSIE")) { $match=preg_match('/MSIE ([0-9]\.[0-9])/',$_SERVER['HTTP_USER_AGENT'],$reg); if ($match==0) { $ie=true; } } if (strstr($_SERVER['HTTP_USER_AGENT'],"iPhone") || strstr($_SERVER['HTTP_USER_AGENT'],"Android") || strstr($_SERVER['HTTP_USER_AGENT'],"webOS")) { $mobile=true; } else { $mobile=false; } ?>