| Index: public/webview/WebMediaPlayer.h
|
| diff --git a/Source/WebKit/chromium/public/WebMediaPlayer.h b/public/webview/WebMediaPlayer.h
|
| similarity index 98%
|
| copy from Source/WebKit/chromium/public/WebMediaPlayer.h
|
| copy to public/webview/WebMediaPlayer.h
|
| index bcc248159007f9aae9f482c46a7e27f1053f34d4..9546a88a33e9cf5d13d456a89fa770017e2d92df 100644
|
| --- a/Source/WebKit/chromium/public/WebMediaPlayer.h
|
| +++ b/public/webview/WebMediaPlayer.h
|
| @@ -31,8 +31,8 @@
|
| #ifndef WebMediaPlayer_h
|
| #define WebMediaPlayer_h
|
|
|
| -#include "../../../../public/platform/WebCanvas.h"
|
| -#include "../../../../public/platform/WebString.h"
|
| +#include "../platform/WebCanvas.h"
|
| +#include "../platform/WebString.h"
|
| #include "WebTimeRange.h"
|
|
|
| namespace WebKit {
|
|
|