diff options
| author | Andrei Popescu <andreip@google.com> | 2009-10-06 14:44:10 +0100 |
|---|---|---|
| committer | Steve Block <steveblock@google.com> | 2009-10-14 16:53:30 +0100 |
| commit | 7da6c11f9b0356ea2b070f6114d2005cbc2c43bb (patch) | |
| tree | 6c8649623c4c1fcbd9bc4db0ced1887e498bdeb7 /WebCore/html/HTMLMediaElement.h | |
| parent | 25323377ad937254493c5d3d3454a655e508fcec (diff) | |
| download | external_webkit-7da6c11f9b0356ea2b070f6114d2005cbc2c43bb.zip external_webkit-7da6c11f9b0356ea2b070f6114d2005cbc2c43bb.tar.gz external_webkit-7da6c11f9b0356ea2b070f6114d2005cbc2c43bb.tar.bz2 | |
Remove the Android guards added to the <video> implementation in WebCore. Do not merge.
The patch in https://bugs.webkit.org/show_bug.cgi?id=29133 landed.
This has already been submitted to master branch.
Diffstat (limited to 'WebCore/html/HTMLMediaElement.h')
| -rw-r--r-- | WebCore/html/HTMLMediaElement.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/WebCore/html/HTMLMediaElement.h b/WebCore/html/HTMLMediaElement.h index 70b686e..9218ad6 100644 --- a/WebCore/html/HTMLMediaElement.h +++ b/WebCore/html/HTMLMediaElement.h @@ -227,9 +227,7 @@ private: bool endedPlayback() const; bool stoppedDueToErrors() const; bool pausedForUserInteraction() const; -#if PLATFORM(ANDROID) bool couldPlayIfEnoughData() const; -#endif float minTimeSeekable() const; float maxTimeSeekable() const; |