WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
215078
Remove unused API in HighlightMap
https://bugs.webkit.org/show_bug.cgi?id=215078
Summary
Remove unused API in HighlightMap
Rob Buis
Reported
2020-08-03 05:18:05 PDT
Remove unused API in HighlightMap, this is probably not needed anymore since the maplike code changed at some point.
Attachments
Patch
(1.98 KB, patch)
2020-08-03 05:19 PDT
,
Rob Buis
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Rob Buis
Comment 1
2020-08-03 05:19:29 PDT
Created
attachment 405821
[details]
Patch
EWS
Comment 2
2020-08-03 10:49:43 PDT
Committed
r265206
: <
https://trac.webkit.org/changeset/265206
> All reviewed patches have been landed. Closing bug and clearing flags on
attachment 405821
[details]
.
Radar WebKit Bug Importer
Comment 3
2020-08-03 13:37:56 PDT
<
rdar://problem/66489310
>
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