| Index: public/platform/WebURLRequest.h
|
| diff --git a/public/platform/WebURLRequest.h b/public/platform/WebURLRequest.h
|
| index 71ee4cd4cd47b0b5a916e77aec446e4926e259dd..44af66a837c92c87ef035073b17d1d89888764b5 100644
|
| --- a/public/platform/WebURLRequest.h
|
| +++ b/public/platform/WebURLRequest.h
|
| @@ -38,6 +38,9 @@
|
| namespace WebCore { class ResourceRequest; }
|
| #endif
|
|
|
| +// TODO(davidben): Remove #define once Chromium side has updated.
|
| +#define WEBKIT_HAS_TARGET_IS_PING
|
| +
|
| namespace blink {
|
|
|
| class WebCString;
|
| @@ -81,7 +84,8 @@ public:
|
| TargetIsFavicon = 12,
|
| TargetIsXHR = 13,
|
| TargetIsTextTrack = 14,
|
| - TargetIsUnspecified = 15,
|
| + TargetIsPing = 15,
|
| + TargetIsUnspecified = 16,
|
| };
|
|
|
| class ExtraData {
|
|
|