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