| Index: Source/WebCore/html/HTMLMediaElement.h
|
| diff --git a/Source/WebCore/html/HTMLMediaElement.h b/Source/WebCore/html/HTMLMediaElement.h
|
| index f31658f52054f37d1fad7e10ceadb1656f678444..72edf79ca61190587b9199a624154adbe91faf7c 100644
|
| --- a/Source/WebCore/html/HTMLMediaElement.h
|
| +++ b/Source/WebCore/html/HTMLMediaElement.h
|
| @@ -300,8 +300,6 @@ public:
|
| void sourceWasRemoved(HTMLSourceElement*);
|
| void sourceWasAdded(HTMLSourceElement*);
|
|
|
| - void privateBrowsingStateDidChange();
|
| -
|
| // Media cache management.
|
| static void getSitesInMediaCache(Vector<String>&);
|
| static void clearMediaCache();
|
|
|