RESOLVED FIXED 152672
[GTK] Rename _WebKitWebContextPrivate.context to _WebKitWebContextPrivate.processPool 
https://bugs.webkit.org/show_bug.cgi?id=152672
Summary [GTK] Rename _WebKitWebContextPrivate.context to _WebKitWebContextPrivate.pro...
Michael Catanzaro
Reported 2016-01-03 15:47:01 PST
Rename _WebKitWebContextPrivate.context to _WebKitWebContextPrivate.processPool. Been meaning to do this since r177692.
Attachments
Patch (19.41 KB, patch)
2016-01-03 15:54 PST, Michael Catanzaro 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Michael Catanzaro
Comment 1 2016-01-03 15:54:13 PST
Created attachment 268151 [details] Patch
WebKit Commit Bot
Comment 2 2016-01-03 15:56:55 PST
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See http://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Carlos Garcia Campos
Comment 3 2016-01-04 00:41:17 PST
Comment on attachment 268151 [details] Patch I don't see the point, but it's obviously ok.
WebKit Commit Bot
Comment 4 2016-01-04 08:13:57 PST
Comment on attachment 268151 [details] Patch Clearing flags on attachment: 268151 Committed r194532: <http://trac.webkit.org/changeset/194532>
WebKit Commit Bot
Comment 5 2016-01-04 08:14:01 PST
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.