RESOLVED FIXED201428
Rename WebPage::pageID() to WebPage::identifier() 
https://bugs.webkit.org/show_bug.cgi?id=201428
Summary Rename WebPage::pageID() to WebPage::identifier()
Chris Dumez
Reported 2019-09-03 10:05:38 PDT
Rename WebPage::pageID() to WebPage::identifier(). Using "page" is the name is redundant here, using identifier() is more consistent with WebPageProxy::identifier().
Attachments
Patch (77.45 KB, patch)
2019-09-03 10:06 PDT, Chris Dumez 		no flags
DetailsFormatted DiffDiff
Patch (81.56 KB, patch)
2019-09-03 10:34 PDT, Chris Dumez 		no flags
DetailsFormatted DiffDiff
Patch (86.91 KB, patch)
2019-09-03 10:41 PDT, Chris Dumez 		no flags
DetailsFormatted DiffDiff
Show Obsolete (2) View All Add attachment proposed patch, testcase, etc.
Chris Dumez
Comment 1 2019-09-03 10:06:20 PDT
Created attachment 377903 [details] Patch
Chris Dumez
Comment 2 2019-09-03 10:34:58 PDT
Created attachment 377905 [details] Patch
Chris Dumez
Comment 3 2019-09-03 10:41:05 PDT
Created attachment 377906 [details] Patch
WebKit Commit Bot
Comment 4 2019-09-03 11:37:43 PDT
Comment on attachment 377906 [details] Patch Clearing flags on attachment: 377906 Committed r249435: <https://trac.webkit.org/changeset/249435>
WebKit Commit Bot
Comment 5 2019-09-03 11:37:45 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 6 2019-09-03 11:38:18 PDT
<rdar://problem/54983782>
Note You need to log in before you can comment on or make changes to this bug.