WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
262522
HighlightRegister should be renamed to HighlightRegistry.
https://bugs.webkit.org/show_bug.cgi?id=262522
Summary
HighlightRegister should be renamed to HighlightRegistry.
Megan Gardner
Reported
2023-10-02 20:44:56 PDT
HighlightRegister should be renamed to HighlightRegistry
Attachments
Add attachment
proposed patch, testcase, etc.
Megan Gardner
Comment 1
2023-10-02 20:45:06 PDT
<
rdar://problem/116262991
>
Megan Gardner
Comment 2
2023-10-02 20:47:15 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/18531
EWS
Comment 3
2023-10-04 14:11:40 PDT
Committed
268873@main
(5c10221be14f): <
https://commits.webkit.org/268873@main
> Reviewed commits have been landed. Closing PR #18531 and removing active labels.
Simon Fraser (smfr)
Comment 4
2023-11-28 17:12:52 PST
***
Bug 262417
has been marked as a duplicate of this bug. ***
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