判断是否为微信端和安卓端

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

    }

function is_Android() { 
        if (strpos($_SERVER['HTTP_USER_AGENT'], 'Android') !== false)   return true; 
        else return false; 
    }