Index: webkit/media/webmediaplayer_util.h |
diff --git a/webkit/media/webmediaplayer_util.h b/webkit/media/webmediaplayer_util.h |
index 8225354cfcc359fbc9d954923b9df4c2265db90c..27888db0b8da0a4f76e7b35c51fa58fe944c47a7 100644 |
--- a/webkit/media/webmediaplayer_util.h |
+++ b/webkit/media/webmediaplayer_util.h |
@@ -13,7 +13,7 @@ namespace webkit_media { |
// seconds to an int64 timestamp. |
// |
// Refer to https://bugs.webkit.org/show_bug.cgi?id=52697 for details. |
-base::TimeDelta ConvertSecondsToTimestamp(float seconds); |
+base::TimeDelta ConvertSecondsToTimestamp(double seconds); |
} // namespace webkit_media |