| Index: third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| diff --git a/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h b/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| index dec862c04dd80bc31c93bb790634b522496d3a4c..54069d7b98c417e78eff4839e65c62644015efac 100644
|
| --- a/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| +++ b/third_party/WebKit/Source/platform/image-decoders/gif/GIFImageDecoder.h
|
| @@ -50,7 +50,7 @@ class PLATFORM_EXPORT GIFImageDecoder final : public ImageDecoder {
|
| String FilenameExtension() const override { return "gif"; }
|
| void OnSetData(SegmentReader* data) override;
|
| int RepetitionCount() const override;
|
| - bool FrameIsCompleteAtIndex(size_t) const override;
|
| + bool FrameIsReceivedAtIndex(size_t) const override;
|
| float FrameDurationAtIndex(size_t) const override;
|
| // CAUTION: SetFailed() deletes |reader_|. Be careful to avoid
|
| // accessing deleted memory, especially when calling this from inside
|
|
|