PHP判断是不是搜索引擎蜘蛛

PHP判断来访者是不是搜索引擎蜘蛛

<?
function is_spider(){ 
    $userAgent = strtolower($_SERVER['HTTP_USER_AGENT']); 
    $spiders = array( 
        'Googlebot', 
        'Baiduspider', 
        'Yahoo! Slurp', 
        'YodaoBot', 
        'sogou spider',
        '360spider',
        'sogou web',
        'msnbot' 
    ); 
    foreach ($spiders as $spider) { 
        $spider = strtolower($spider); 
        if (strpos($userAgent, $spider) !== false) { 
 
            return true; 
        } 
    } 
     return false;
}
if  (is_spider()){ echo '是蜘蛛';}?>