| Index: sky/engine/core/html/HTMLMediaElement.h
|
| diff --git a/sky/engine/core/html/HTMLMediaElement.h b/sky/engine/core/html/HTMLMediaElement.h
|
| index 92695422d5dd7ee374f3bbfdc0ae074fa99a75ec..00885bf6c6e057dbd54a75e6a15af49ddb1932d3 100644
|
| --- a/sky/engine/core/html/HTMLMediaElement.h
|
| +++ b/sky/engine/core/html/HTMLMediaElement.h
|
| @@ -125,10 +125,6 @@ public:
|
| void play();
|
| void pause();
|
|
|
| - // statistics
|
| - unsigned webkitAudioDecodedByteCount() const;
|
| - unsigned webkitVideoDecodedByteCount() const;
|
| -
|
| // media source extensions
|
| void closeMediaSource();
|
| void durationChanged(double duration, bool requestSeek);
|
|
|