php判断页面来自手机或者微信 $_SERVER['HTTP_USER_AGENT']

function is_phone(){
        $agent = strtolower($_SERVER[‘HTTP_USER_AGENT‘]);
        //pc请求头信息数组
        $pc_arr=array(‘windows nt‘,‘macintosh‘,‘ipad‘,‘baiduspider‘,‘spider‘);
        //如确认为移动端则更改默认值
        //没找到pc数组元素时判断为移动端
        foreach($pc_arr as $k => $v){
           $pc=strpos($agent, $v) ? true : false;
           if($pc){
              return false;
           } 
        }
        return true;
    }

function is_weixin(){
        if ( strpos($_SERVER[‘HTTP_USER_AGENT‘], ‘MicroMessenger‘) !== false ) {
            return true;
        }
        return false;
    }