【PHP】$_SERVER的类型

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

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