WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
281819
[web-animations] Rename `CSSNumberishTime` to `WebAnimationTime`
https://bugs.webkit.org/show_bug.cgi?id=281819
Summary
[web-animations] Rename `CSSNumberishTime` to `WebAnimationTime`
Antoine Quint
Reported
2024-10-19 06:51:21 PDT
The name `CSSNumberishTime` is pretty specific to the type of input for timing values used throught out the Web Animations codebase. It would be better to call it `WebAnimationTime`.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2024-10-19 06:51:33 PDT
<
rdar://problem/138242355
>
Antoine Quint
Comment 2
2024-10-19 06:54:14 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/35487
EWS
Comment 3
2024-10-19 19:39:06 PDT
Committed
285481@main
(aa30e476b435): <
https://commits.webkit.org/285481@main
> Reviewed commits have been landed. Closing PR #35487 and removing active labels.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug