通过JS和PHP两种方法判断用户请求时使用的浏览器类型