使用方法： $Agent = $_SERVER['HTTP_USER_AGENT']; echo getOS($Agent);