From cea32bdc70479d43024184a955977e8d4dab0732 Mon Sep 17 00:00:00 2001 From: Sam Bull Date: Thu, 6 Aug 2020 18:08:37 +0100 Subject: [PATCH] Add UserAgent attributes. (#4398) --- third_party/2and3/werkzeug/useragents.pyi | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/third_party/2and3/werkzeug/useragents.pyi b/third_party/2and3/werkzeug/useragents.pyi index c7e8363d6..5356e3ff0 100644 --- a/third_party/2and3/werkzeug/useragents.pyi +++ b/third_party/2and3/werkzeug/useragents.pyi @@ -1,4 +1,4 @@ -from typing import Any +from typing import Any, Optional class UserAgentParser: platforms: Any @@ -8,6 +8,10 @@ class UserAgentParser: class UserAgent: string: Any + platform: Optional[str] + browser: Optional[str] + version: Optional[str] + language: Optional[str] def __init__(self, environ_or_string): ... def to_header(self): ... def __nonzero__(self): ...