Skip to content

Export 'WebDriver session' dfn for cross-spec xref#1959

Merged
whimboo merged 1 commit into
w3c:masterfrom
marcoscaceres:export-session-dfn
May 11, 2026
Merged

Export 'WebDriver session' dfn for cross-spec xref#1959
whimboo merged 1 commit into
w3c:masterfrom
marcoscaceres:export-session-dfn

Conversation

@marcoscaceres
Copy link
Copy Markdown
Member

@marcoscaceres marcoscaceres commented May 7, 2026

Summary

  • Adds data-export and data-lt="WebDriver session" to the session <dfn> so other specs can reference it via [=WebDriver session=] with data-cite="webdriver".
  • Uses data-local-lt="sessions" to preserve existing internal links without exporting the generic plural.

Motivation

Needed by w3c-fedid/digital-credentials#381 which defines WebDriver BiDi extension commands that reference the session concept. Currently [=WebDriver session=] fails xref resolution because the dfn isn't exported.

Verification

Ran npx respec --haltonerror locally — clean build, no regressions.


This change is Reviewable


Preview | Diff

The "session" dfn lacked data-export, preventing other specs from
referencing it via [=WebDriver session=] with data-cite="webdriver".

Needed by w3c-fedid/digital-credentials#381 which defines WebDriver
BiDi extension commands that reference the session concept.

Uses data-local-lt="sessions" to preserve existing internal links
without exporting the generic plural term.
Copy link
Copy Markdown
Contributor

@whimboo whimboo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine to me. Thanks for the correction so that we no longer export the rather generic session.

@whimboo whimboo merged commit 463f7ed into w3c:master May 11, 2026
2 checks passed
github-actions Bot added a commit that referenced this pull request May 11, 2026
…1959)

SHA: 463f7ed
Reason: push, by whimboo

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@whimboo
Copy link
Copy Markdown
Contributor

whimboo commented May 11, 2026

@marcoscaceres and @mohamedamir I just checked https://www.w3.org/TR/digital-credentials/#automated-testing and all WebDriver session's links actually now go to https://www.w3.org/TR/webdriver-bidi/#modules-session which is wrong. Can you please check that?

github-actions Bot added a commit to soloinovator/webdriver that referenced this pull request May 11, 2026
…3c#1959)

SHA: 463f7ed
Reason: push, by pull[bot]

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions Bot added a commit to xjc90s/webdriver that referenced this pull request May 12, 2026
…3c#1959)

SHA: 463f7ed
Reason: push, by pull[bot]

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@mohamedamir
Copy link
Copy Markdown
Contributor

@marcoscaceres and @mohamedamir I just checked https://www.w3.org/TR/digital-credentials/#automated-testing and all WebDriver session's links actually now go to https://www.w3.org/TR/webdriver-bidi/#modules-session which is wrong. Can you please check that?

I have sent w3c-fedid/digital-credentials#514 for review to address this!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants