| Index: public/platform/WebMediaPlayer.h
|
| diff --git a/public/platform/WebMediaPlayer.h b/public/platform/WebMediaPlayer.h
|
| index 173a315b01e607f7d3db88d4390c9a69cf34a1a4..0410e1dc8b79050debf538e11920bcf53f0adf01 100644
|
| --- a/public/platform/WebMediaPlayer.h
|
| +++ b/public/platform/WebMediaPlayer.h
|
| @@ -143,7 +143,7 @@ public:
|
|
|
| virtual unsigned decodedFrameCount() const = 0;
|
| virtual unsigned droppedFrameCount() const = 0;
|
| - virtual unsigned corruptedFrameCount() const { return 0; };
|
| + virtual unsigned corruptedFrameCount() const { return 0; }
|
| virtual unsigned audioDecodedByteCount() const = 0;
|
| virtual unsigned videoDecodedByteCount() const = 0;
|
|
|
| @@ -151,7 +151,7 @@ public:
|
| // Do a GPU-GPU textures copy if possible.
|
| virtual bool copyVideoTextureToPlatformTexture(WebGraphicsContext3D*, unsigned texture, unsigned level, unsigned internalFormat, unsigned type, bool premultiplyAlpha, bool flipY) { return false; }
|
|
|
| - virtual WebAudioSourceProvider* audioSourceProvider() { return 0; }
|
| + virtual WebAudioSourceProvider* audioSourceProvider() { return nullptr; }
|
|
|
| // Returns whether keySystem is supported. If true, the result will be
|
| // reported by an event.
|
|
|