PHP和js判断访问终端是否是微信浏览器

function is_weixin() { 
    var ua = window.navigator.userAgent.toLowerCase(); 
    if (ua.match(/MicroMessenger/i) == ‘micromessenger‘) { 
        $("#rs").text("微信浏览器"); 
    } else { 
        $("#rs").text("不是微信浏览器"); 
    } 
}

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