IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Remove 'sphinx.ext.duration' from the mypy whitelist (#11404)

Browse Source
This commit is contained in:
danieleades 2023-05-12 23:50:44 +01:00 committed by GitHub
parent 2c58722627
commit 1c5158e010
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pyproject.toml
View File

@ -330,7 +330,6 @@ module = [
"sphinx.ext.autosummary", "sphinx.ext.autosummary",
"sphinx.ext.autosummary.generate", "sphinx.ext.autosummary.generate",
"sphinx.ext.doctest", "sphinx.ext.doctest",
"sphinx.ext.duration",
"sphinx.ext.graphviz", "sphinx.ext.graphviz",
"sphinx.ext.inheritance_diagram", "sphinx.ext.inheritance_diagram",
"sphinx.ext.intersphinx", "sphinx.ext.intersphinx",

2
sphinx/ext/duration.py
View File

@ -57,7 +57,7 @@ def on_source_read(app: Sphinx, docname: str, content: list[str]) -> None:
def on_doctree_read(app: Sphinx, doctree: nodes.document) -> None: def on_doctree_read(app: Sphinx, doctree: nodes.document) -> None:
"""Record a reading duration.""" """Record a reading duration."""
started_at = app.env.temp_data.get('started_at') started_at = app.env.temp_data['started_at']
duration = datetime.now() - started_at duration = datetime.now() - started_at
domain = cast(DurationDomain, app.env.get_domain('duration')) domain = cast(DurationDomain, app.env.get_domain('duration'))
domain.note_reading_duration(duration) domain.note_reading_duration(duration)