| 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
|
|
|
|
|