| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 938516339b388b0ee24ac85024a36b5cbccc21ee..a2352b9da7878f05d1b652f0200e80329028f49c 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -74,8 +74,7 @@ typedef Vector<CueInterval> CueList;
|
| // But it can't be until the Chromium WebMediaPlayerClientImpl class is fixed so it
|
| // no longer depends on typecasting a MediaPlayerClient to an HTMLMediaElement.
|
|
|
| -class HTMLMediaElement : public HTMLElement, public WillBeHeapSupplementable<HTMLMediaElement>, public MediaPlayerClient, public ActiveDOMObject
|
| -{
|
| +class HTMLMediaElement : public HTMLElement, public WillBeHeapSupplementable<HTMLMediaElement>, public MediaPlayerClient, public ActiveDOMObject {
|
| DEFINE_WRAPPERTYPEINFO();
|
| WILL_BE_USING_GARBAGE_COLLECTED_MIXIN(HTMLMediaElement);
|
| public:
|
| @@ -146,7 +145,7 @@ public:
|
| bool ended() const;
|
| bool autoplay() const;
|
| bool loop() const;
|
| - void setLoop(bool b);
|
| + void setLoop(bool);
|
| void play();
|
| void pause();
|
| void requestRemotePlayback();
|
|
|