From a0c65022c6790d082a2589efd5357b70a62aef2d Mon Sep 17 00:00:00 2001 From: Lee Date: Wed, 1 Jun 2022 16:26:00 +0800 Subject: [PATCH] markdown: remove `INSTALLED_EXTENSIONS`. (#8002) --- stubs/Markdown/markdown/util.pyi | 1 - 1 file changed, 1 deletion(-) diff --git a/stubs/Markdown/markdown/util.pyi b/stubs/Markdown/markdown/util.pyi index 3af385c70..7189cfa92 100644 --- a/stubs/Markdown/markdown/util.pyi +++ b/stubs/Markdown/markdown/util.pyi @@ -12,7 +12,6 @@ AMP_SUBSTITUTE: Any HTML_PLACEHOLDER: Any HTML_PLACEHOLDER_RE: Pattern[str] TAG_PLACEHOLDER: Any -INSTALLED_EXTENSIONS: Any RTL_BIDI_RANGES: Any def deprecated(message: str, stacklevel: int = ...): ...