RESOLVED FIXED 194658
[GTK] WebKitGTK+ -> WebKitGTK 
https://bugs.webkit.org/show_bug.cgi?id=194658
Summary [GTK] WebKitGTK+ -> WebKitGTK
Michael Catanzaro
Reported 2019-02-14 10:48:22 PST
This renames WebKitGTK+ to WebKitGTK in a few places. In a couple places where it's exposed in WPE documentation, WPE is newly-mentioned or WebKitGTK+ is changed to just WebKit.
Attachments
Patch (6.30 KB, patch)
2019-02-14 10:50 PST, Michael Catanzaro 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Michael Catanzaro
Comment 1 2019-02-14 10:50:24 PST
Created attachment 362037 [details] Patch
EWS Watchlist
Comment 2 2019-02-14 10:52:28 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
WebKit Commit Bot
Comment 3 2019-02-14 14:11:24 PST
Comment on attachment 362037 [details] Patch Clearing flags on attachment: 362037 Committed r241563: <https://trac.webkit.org/changeset/241563>
WebKit Commit Bot
Comment 4 2019-02-14 14:11:26 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.