Merge from Chromium at DEPS revision r200144
This commit was generated by merge_to_master.py.
Change-Id: I52995489013675af682cee321f417f624396b584
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; }