Bug 201428

Summary: Rename WebPage::pageID() to WebPage::identifier()
Product: WebKit Reporter: Chris Dumez <cdumez>
Component: WebKit2Assignee: Chris Dumez <cdumez>
Status: RESOLVED FIXED    
Severity: Normal CC: achristensen, commit-queue, ggaren, koivisto, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch
none
Patch
none
Patch none

Description Chris Dumez 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().
Comment 1 Chris Dumez 2019-09-03 10:06:20 PDT 
Created attachment 377903 [details]
Patch
Comment 2 Chris Dumez 2019-09-03 10:34:58 PDT 
Created attachment 377905 [details]
Patch
Comment 3 Chris Dumez 2019-09-03 10:41:05 PDT 
Created attachment 377906 [details]
Patch
Comment 4 WebKit Commit Bot 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>
Comment 5 WebKit Commit Bot 2019-09-03 11:37:45 PDT 
All reviewed patches have been landed.  Closing bug.
Comment 6 Radar WebKit Bug Importer 2019-09-03 11:38:18 PDT 
<rdar://problem/54983782>