Index: third_party/WebKit/Source/core/html/shadow/MediaControls.h |
diff --git a/third_party/WebKit/Source/core/html/shadow/MediaControls.h b/third_party/WebKit/Source/core/html/shadow/MediaControls.h |
index 2d4fb96875b8e773536c81c5916645cb1ce3a38f..c7da0354fb9ec22fe026d6c2b618df095ad09271 100644 |
--- a/third_party/WebKit/Source/core/html/shadow/MediaControls.h |
+++ b/third_party/WebKit/Source/core/html/shadow/MediaControls.h |
@@ -82,9 +82,14 @@ public: |
// Notify us that our controls enclosure has changed width. |
void notifyPanelWidthChanged(const LayoutUnit& newWidth); |
+ // Notify us that the media element's network state has changed. |
+ void networkStateChanged(); |
+ |
DECLARE_VIRTUAL_TRACE(); |
private: |
+ void repaint(Element*); |
+ |
class BatchedControlUpdate; |
explicit MediaControls(HTMLMediaElement&); |