Visitar URL original
Add a getter to performance by yoavweiss · Pull Request #178 · w3c/hr-time · GitHub
Skip to content

Add a getter to performance - #178

Merged
yoavweiss merged 2 commits into
mainfrom
define-performance-getter
Nov 6, 2026
Merged

yoavweiss merged 2 commits into
mainfrom
define-performance-getter

Conversation

@yoavweiss

@yoavweiss yoavweiss commented Nov 3, 2026 •

Copy link
Copy Markdown
Contributor

While reviewing #169 , I realized that we don't have a getter defined for the performance object. This PR adds such a definition.

The change is entirely editorial, with no functional implications.


Preview | Diff

@yoavweiss
yoavweiss requested a review from tunetheweb November 3, 2026 08:43
@tunetheweb
tunetheweb requested review from mmocny and shaseley November 3, 2026 11:29
@tunetheweb

Copy link
Copy Markdown
Member

Seems fine to me but @mmocny or @shaseley could you review as I'm less familiar with this spec lingo?

@yoavweiss there's a CI error that I don't fully understand (CSS properties that are too new)

@yoavweiss

Copy link
Copy Markdown
Contributor Author

yeah, we need to wait 24H for the pipeline to update on the new CSS bits

Comment thread index.bs Resolved
@yoavweiss
yoavweiss force-pushed the define-performance-getter branch from af24f5c to 0163d3a Compare November 6, 2026 08:09
@yoavweiss
yoavweiss merged commit 76c362e into main Nov 6, 2026
2 checks passed
@yoavweiss
yoavweiss deleted the define-performance-getter branch November 6, 2026 08:20
github-actions Bot added a commit that referenced this pull request Nov 6, 2026
SHA: 76c362e
Reason: push, by yoavweiss

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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