[webkit-reviews] review requested: [Bug 182924] Potential privacy issue: DNS prefetching can be re-enabled : [Attachment 334367] proposed patch

[bugzilla-daemon at webkit.org]

Milan Crha <mcrha at redhat.com> has asked  for review:
Bug 182924: Potential privacy issue: DNS prefetching can be re-enabled
https://bugs.webkit.org/show_bug.cgi?id=182924

Attachment 334367: proposed patch

https://bugs.webkit.org/attachment.cgi?id=334367&action=review




--- Comment #1 from Milan Crha <mcrha at redhat.com> ---
Created attachment 334367

  --> https://bugs.webkit.org/attachment.cgi?id=334367&action=review

proposed patch

Let's prefer settings value over the on ein the page. That is, once the DNS
prefething is disabled in the WebKit settings, it cannot be enabled by the
page.