diff options
Diffstat (limited to 'sphinx/extension.py')
| -rw-r--r-- | sphinx/extension.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/sphinx/extension.py b/sphinx/extension.py index 8129d89af..7ec6c8518 100644 --- a/sphinx/extension.py +++ b/sphinx/extension.py @@ -8,15 +8,14 @@ :license: BSD, see LICENSE for details. """ -from typing import Any, Dict +from typing import TYPE_CHECKING, Any, Dict from sphinx.config import Config from sphinx.errors import VersionRequirementError from sphinx.locale import __ from sphinx.util import logging -if False: - # For type annotation +if TYPE_CHECKING: from sphinx.application import Sphinx logger = logging.getLogger(__name__) |