Update all float attributes in HTMLMediaElement and related objects to double

Source/WebCore/platform/Clock.h

Index: Source/WebCore/platform/Clock.h
diff --git a/Source/WebCore/platform/Clock.h b/Source/WebCore/platform/Clock.h
index 86af95657398d4e629029b14b7ff0e09fd2b86cf..0b3322fe9321f2ec69ae6a1b07999f42ac597844 100644
--- a/Source/WebCore/platform/Clock.h
+++ b/Source/WebCore/platform/Clock.h
@@ -36,11 +36,11 @@ public:
     static PassRefPtr<Clock> create();
     virtual ~Clock() { }
 
-    virtual void setCurrentTime(float) = 0;
-    virtual float currentTime() const = 0;
+    virtual void setCurrentTime(double) = 0;

[eseidel, 2013/04/05 21:44:14]

Why is this OK?  Is clock only specific to Media elements?

[acolwell GONE FROM CHROMIUM, 2013/04/05 22:29:11]

Source/WebCore/html/MediaController.cpp	is the only class that makes any calls
on this interface.

+    virtual double currentTime() const = 0;
 
-    virtual void setPlayRate(float) = 0;
-    virtual float playRate() const = 0;
+    virtual void setPlayRate(double) = 0;
+    virtual double playRate() const = 0;
 
     virtual void start() = 0;
     virtual void stop() = 0;