Upstream WebMediaPlayerAndroid as WebKit::WebMediaPlayer implementation on android.

webkit/media/webmediaplayer_util.h

Index: webkit/media/webmediaplayer_util.h
diff --git a/webkit/media/webmediaplayer_util.h b/webkit/media/webmediaplayer_util.h
new file mode 100644
index 0000000000000000000000000000000000000000..8225354cfcc359fbc9d954923b9df4c2265db90c
--- /dev/null
+++ b/webkit/media/webmediaplayer_util.h
@@ -0,0 +1,20 @@
+// Copyright (c) 2012 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#ifndef WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_
+#define WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_
+
+#include "base/time.h"
+
+namespace webkit_media {
+
+// Platform independent method for converting and rounding floating point
+// seconds to an int64 timestamp.
+//
+// Refer to https://bugs.webkit.org/show_bug.cgi?id=52697 for details.
+base::TimeDelta ConvertSecondsToTimestamp(float seconds);
+
+}  // namespace webkit_media
+
+#endif  // WEBKIT_MEDIA_WEBMEDIAPLAYER_UTIL_H_