mypy: Add lxml-stubs.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

pyproject.toml

@@ -75,7 +75,6 @@ module = [
     "jsonref.*",
     "jsonschema.*",
     "ldap.*",
-    "lxml.*",
     "markdown_include.*",
     "moto.*",
     "netifaces.*",

requirements/dev.txt

@@ -683,6 +683,10 @@ lxml==4.6.3 \
     #   talon-core
     #   xmlsec
     #   zulip-bots
+lxml-stubs==0.2.0 \
+    --hash=sha256:78f1bfb31b1f2af9a5c9e9a602ab1b589a64a5a3cc444931a39cdfd02d6864b0 \
+    --hash=sha256:f0b3621ec2a23bea4145f484490c8b27383ecb407b3f8b079199ad4a0af4180b
+    # via -r requirements/mypy.in
 markdown==3.3.4 \
     --hash=sha256:31b5b491868dcc87d6c24b7e3d19a0d730d59d3e46f4eea6430a321bed387a49 \
     --hash=sha256:96c3ba1261de2f7547b46a00ea8463832c921d3f9d6aba3f255a6f71386db20c

requirements/mypy.in

@@ -3,6 +3,8 @@
 # and requirements/mypy.txt.
 # See requirements/README.md for more detail.
 mypy
+
+lxml-stubs
 https://github.com/andersk/pika-stubs/archive/87c5795741449e37bdbd2ceceee853fd56462440.zip#egg=pika-stubs==0.1.3+git  # https://github.com/hahow/pika-stubs/issues/1, https://github.com/hahow/pika-stubs/pull/4
 sqlalchemy-stubs
 types-boto

requirements/mypy.txt

@@ -7,6 +7,10 @@
 #
 # For details, see requirements/README.md .
 #
+lxml-stubs==0.2.0 \
+    --hash=sha256:78f1bfb31b1f2af9a5c9e9a602ab1b589a64a5a3cc444931a39cdfd02d6864b0 \
+    --hash=sha256:f0b3621ec2a23bea4145f484490c8b27383ecb407b3f8b079199ad4a0af4180b
+    # via -r requirements/mypy.in
 mypy==0.910 \
     --hash=sha256:088cd9c7904b4ad80bec811053272986611b84221835e079be5bcad029e79dd9 \
     --hash=sha256:0aadfb2d3935988ec3815952e44058a3100499f5be5b28c34ac9d79f002a4a9a \

version.py

@@ -48,4 +48,4 @@ API_FEATURE_LEVEL = 90
 #   historical commits sharing the same major version, in which case a
 #   minor version bump suffices.
 
-PROVISION_VERSION = "153.6"
+PROVISION_VERSION = "153.7"