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
Chris Dumez
Comment 1 2017-11-30 10:42:38 PST
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
Note You need to log in before you can comment on or make changes to this bug.