WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
180207
Rename RegistrationOptions to ServiceWorkerRegistrationOptions
https://bugs.webkit.org/show_bug.cgi?id=180207
Summary
Rename RegistrationOptions to ServiceWorkerRegistrationOptions
Chris Dumez
Reported
2017-11-30 10:40:33 PST
Rename RegistrationOptions to ServiceWorkerRegistrationOptions as the name RegistrationOptions is too generic and likely to conflict. Also modernize RegistrationOptions' IPC decoder.
Attachments
Patch
(7.72 KB, patch)
2017-11-30 10:42 PST
,
Chris Dumez
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Chris Dumez
Comment 1
2017-11-30 10:42:38 PST
Created
attachment 327993
[details]
Patch
Geoffrey Garen
Comment 2
2017-11-30 10:45:48 PST
Comment on
attachment 327993
[details]
Patch r=me
WebKit Commit Bot
Comment 3
2017-11-30 11:17:58 PST
Comment on
attachment 327993
[details]
Patch Clearing flags on attachment: 327993 Committed
r225335
: <
https://trac.webkit.org/changeset/225335
>
WebKit Commit Bot
Comment 4
2017-11-30 11:18:00 PST
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 5
2017-11-30 11:18:21 PST
<
rdar://problem/35777269
>
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