HTML search: adjust type signature for custom scoring arg

sphinx-doc · Sep 28, 2024 · 23882e9 · 23882e9
1 parent 4319c16
commit 23882e9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/sphinx/builders/html/__init__.py b/sphinx/builders/html/__init__.py
@@ -1350,7 +1350,7 @@ def setup(app: Sphinx) -> ExtensionMetadata:
     app.add_config_value('html_secnumber_suffix', '. ', 'html')
     app.add_config_value('html_search_language', None, 'html', str)
     app.add_config_value('html_search_options', {}, 'html')
-    app.add_config_value('html_search_scorer', '', '')
+    app.add_config_value('html_search_scorer', None, '', str)
     app.add_config_value('html_scaled_image_link', True, 'html')
     app.add_config_value('html_baseurl', '', 'html')
     # removal is indefinitely on hold (ref: https://github.com/sphinx-doc/sphinx/issues/10265)

diff --git a/sphinx/search/__init__.py b/sphinx/search/__init__.py
@@ -250,7 +250,7 @@ class IndexBuilder:
         'pickle':   pickle
     }
 
-    def __init__(self, env: BuildEnvironment, lang: str, options: dict[str, str], scoring: str) -> None:
+    def __init__(self, env: BuildEnvironment, lang: str, options: dict[str, str], scoring: str | None) -> None:
         self.env = env
         # docname -> title
         self._titles: dict[str, str | None] = env._search_index_titles