Skip to content

Conversation

marcoscaceres
Copy link
Member

@marcoscaceres marcoscaceres commented Sep 10, 2025

Will use some of these in w3c/push-api#402

This pull request updates the documentation for badge values to use a more consistent and explicit cross-referencing style. The changes clarify references to badge values like "nothing", "flag", and "number" by using the [=badge/...=] format, and improve the markup for exporting definitions.

Documentation and Reference Consistency Improvements:

  • Changed all inline references to badge values ("nothing", "flag", "number") to use the explicit [=badge/...=] format for better clarity and linking. [1] [2] [3]
  • Updated <dfn> elements for badge values to include class="export" and data-dfn-for="badge" for improved definition exporting and cross-referencing.

This change (choose at least one, delete ones that don't apply):

  • Is a "chore" (metadata, formatting, fixing warnings, etc).

Preview | Diff

Copy link

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This pull request improves the documentation consistency and markup for badge value types in the Badging API specification. The changes standardize cross-references to badge values and enhance definition exporting capabilities.

  • Updates all badge value references to use consistent [=badge/...=] format
  • Adds proper export markup with class="export" and data-dfn-for="badge" attributes
  • Improves cross-referencing clarity for "nothing", "flag", and "number" badge values

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@marcoscaceres marcoscaceres merged commit cfeb3f2 into main Sep 10, 2025
2 checks passed
@marcoscaceres marcoscaceres deleted the chore_exports branch September 10, 2025 04:58
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.

1 participant