markdown: remove INSTALLED_EXTENSIONS. (#8002)

This commit is contained in:
Lee
2022-06-01 16:26:00 +08:00
committed by GitHub
parent 8c434e05d6
commit a0c65022c6

View File

@@ -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 = ...): ...