function is_bot()
{
return isset($_SERVER['HTTP_USER_AGENT']) &&
preg_match('/bot|crawl|slurp|spider|mediapartners/i', $_SERVER['HTTP_USER_AGENT']);
}
function is_bot()
{
return isset($_SERVER['HTTP_USER_AGENT']) &&
preg_match('/bot|crawl|slurp|spider|mediapartners/i', $_SERVER['HTTP_USER_AGENT']);
}