Index: third_party/WebKit/Source/web/WebInputEventConversion.h |
diff --git a/third_party/WebKit/Source/web/WebInputEventConversion.h b/third_party/WebKit/Source/web/WebInputEventConversion.h |
index 56b6cf49efcb5ad1ed80d6147d64ef624fad0d50..cadbb14bd76c3c4cd8264c927dc5816022da3837 100644 |
--- a/third_party/WebKit/Source/web/WebInputEventConversion.h |
+++ b/third_party/WebKit/Source/web/WebInputEventConversion.h |
@@ -39,6 +39,7 @@ |
#include "public/platform/WebInputEvent.h" |
#include "web/WebExport.h" |
#include "wtf/Compiler.h" |
+#include <vector> |
namespace blink { |
@@ -136,6 +137,13 @@ class WEB_EXPORT WebGestureEventBuilder |
WebGestureEventBuilder(const LayoutItem, const GestureEvent&); |
}; |
+Vector<PlatformMouseEvent> WEB_EXPORT |
+createPlatformMouseEventVector(Widget*, |
+ const std::vector<const WebInputEvent*>&); |
+Vector<PlatformTouchEvent> WEB_EXPORT |
+createPlatformTouchEventVector(Widget*, |
+ const std::vector<const WebInputEvent*>&); |
+ |
} // namespace blink |
#endif |