From 81be86af6e27ac0135b11c7f6697d8ae9623a034 Mon Sep 17 00:00:00 2001 From: L Date: Tue, 17 May 2022 17:48:55 +0800 Subject: [PATCH] markdown: Annotate `Registry.get_index_for_name()` (#7848) --- stubs/Markdown/markdown/util.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stubs/Markdown/markdown/util.pyi b/stubs/Markdown/markdown/util.pyi index 437d63f17..467bc12ca 100644 --- a/stubs/Markdown/markdown/util.pyi +++ b/stubs/Markdown/markdown/util.pyi @@ -45,7 +45,7 @@ class Registry: def __iter__(self) -> Any: ... def __getitem__(self, key): ... def __len__(self): ... - def get_index_for_name(self, name): ... + def get_index_for_name(self, name: str) -> int: ... def register(self, item, name, priority) -> None: ... def deregister(self, name, strict: bool = ...) -> None: ... def __setitem__(self, key, value) -> None: ...