diff options
Diffstat (limited to 'sphinx/extension.py')
| -rw-r--r-- | sphinx/extension.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/extension.py b/sphinx/extension.py index 0b1a4e56b..15f2afa09 100644 --- a/sphinx/extension.py +++ b/sphinx/extension.py @@ -35,7 +35,7 @@ class Extension: self.parallel_write_safe = kwargs.pop('parallel_write_safe', True) -def verify_needs_extensions(app: "Sphinx", config: Config) -> None: +def verify_needs_extensions(app: Sphinx, config: Config) -> None: """Check that extensions mentioned in :confval:`needs_extensions` satisfy the version requirement, and warn if an extension is not loaded. @@ -72,7 +72,7 @@ def verify_needs_extensions(app: "Sphinx", config: Config) -> None: (extname, reqversion, extension.version)) -def setup(app: "Sphinx") -> dict[str, Any]: +def setup(app: Sphinx) -> dict[str, Any]: app.connect('config-inited', verify_needs_extensions, priority=800) return { |