【PHP】$_SERVER的类型

1.$_SERVER[‘HTTP_USER_AGENT‘]：strpos($_SERVER[‘HTTP_USER_AGENT‘], ‘MicroMessenger’)

MicroMessenger：微信内置浏览器

php方式判断：

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

javascript方式判断：

function is_weixin(){
    var ua = navigator.userAgent.toLowerCase();  　　 if(ua.match(/MicroMessenger/i)=="micromessenger") {
        return true;
     } else {
        return false;
    }
}