| Index: Source/WebCore/html/HTMLMediaElement.h
|
| ===================================================================
|
| --- Source/WebCore/html/HTMLMediaElement.h (revision 122537)
|
| +++ Source/WebCore/html/HTMLMediaElement.h (working copy)
|
| @@ -291,7 +291,7 @@
|
| bool closedCaptionsVisible() const;
|
| void setClosedCaptionsVisible(bool);
|
|
|
| - MediaControls* mediaControls();
|
| + MediaControls* mediaControls() const;
|
|
|
| void sourceWasRemoved(HTMLSourceElement*);
|
| void sourceWasAdded(HTMLSourceElement*);
|
| @@ -508,7 +508,7 @@
|
| void invalidateCachedTime();
|
| void refreshCachedTime() const;
|
|
|
| - bool hasMediaControls();
|
| + bool hasMediaControls() const;
|
| bool createMediaControls();
|
| void configureMediaControls();
|
|
|
|
|