commit e52495584422c5edb5b2944981473a2e208da323
author Torne (Richard Coles) <torne@google.com> Wed May 15 11:35:13 2013 +0100
committer Torne (Richard Coles) <torne@google.com> Wed May 15 11:35:13 2013 +0100
tree 707b85435adfb2c67b9ca3d346769564c41566fd
parent 8521fccd3e39d65a1f2ac1f360f5ead86fcb7dae

Merge from Chromium at DEPS revision r200144

This commit was generated by merge_to_master.py.

Change-Id: I52995489013675af682cee321f417f624396b584

Source/core/loader/PingLoader.h

diff --git a/Source/core/loader/PingLoader.h b/Source/core/loader/PingLoader.h
index a0f73db..d65842d 100644
--- a/Source/core/loader/PingLoader.h
+++ b/Source/core/loader/PingLoader.h
@@ -34,6 +34,7 @@
 
 #include "core/platform/Timer.h"
 #include "core/platform/network/ResourceHandleClient.h"
+#include "core/platform/network/ResourceHandleTypes.h"
 #include <wtf/Noncopyable.h>
 #include <wtf/RefPtr.h>
 
@@ -61,7 +62,7 @@
     virtual ~PingLoader();
 
 private:
-    PingLoader(Frame*, ResourceRequest&);
+    PingLoader(Frame*, ResourceRequest&, StoredCredentials = AllowStoredCredentials);
 
     virtual void didReceiveResponse(ResourceHandle*, const ResourceResponse&) OVERRIDE { delete this; }
     virtual void didReceiveData(ResourceHandle*, const char*, int, int) OVERRIDE { delete this; }