-
abarth@webkit.org authored
Reviewed by Eric Seidel. [Chromium] Add a WebSetting to control DNS prefetch https://bugs.webkit.org/show_bug.cgi?id=60736 DNS prefetch got disabled in Chrome accidentially in http://trac.webkit.org/changeset/74041. This patch adds a WebSettings API so we can enable it again. * public/WebSettings.h: * src/WebSettingsImpl.cpp: (WebKit::WebSettingsImpl::setDNSPrefetchingEnabled): * src/WebSettingsImpl.h: git-svn-id: http://svn.webkit.org/repository/webkit/trunk@86410 268f45cc-cd09-0410-ab3c-d52691b4dbfc
3f7ded3b