[webkit-reviews] review denied: [Bug 111938] [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API : [Attachment 192375] Patch

[bugzilla-daemon at webkit.org]

Anders Carlsson <andersca at apple.com> has denied Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 111938: [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API
https://bugs.webkit.org/show_bug.cgi?id=111938

Attachment 192375: Patch
https://bugs.webkit.org/attachment.cgi?id=192375&action=review

------- Additional Comments from Anders Carlsson <andersca at apple.com>
I don’t think it’s a good idea to expose identifiers in the API like this, and
I think the webkit_web_view_get_page_id() function should be removed. Why is it
needed at all?