Index: webkit/renderer/media/webmediaplayer_util.h |
diff --git a/webkit/renderer/media/webmediaplayer_util.h b/webkit/renderer/media/webmediaplayer_util.h |
deleted file mode 100644 |
index aa891ac6407ef69e02a02eab687b9f53178b2474..0000000000000000000000000000000000000000 |
--- a/webkit/renderer/media/webmediaplayer_util.h |
+++ /dev/null |
@@ -1,30 +0,0 @@ |
-// Copyright 2013 The Chromium Authors. All rights reserved. |
-// Use of this source code is governed by a BSD-style license that can be |
-// found in the LICENSE file. |
- |
-#ifndef WEBKIT_RENDERER_MEDIA_WEBMEDIAPLAYER_UTIL_H_ |
-#define WEBKIT_RENDERER_MEDIA_WEBMEDIAPLAYER_UTIL_H_ |
- |
-#include "base/time.h" |
-#include "media/base/pipeline_status.h" |
-#include "media/base/ranges.h" |
-#include "third_party/WebKit/public/web/WebMediaPlayer.h" |
-#include "third_party/WebKit/public/web/WebTimeRange.h" |
- |
-namespace webkit_media { |
- |
-// Platform independent method for converting and rounding floating point |
-// seconds to an int64 timestamp. |
-// |
-// Refer to https://bugs.webkit.org/show_bug.cgi?id=52697 for details. |
-base::TimeDelta ConvertSecondsToTimestamp(double seconds); |
- |
-WebKit::WebTimeRanges ConvertToWebTimeRanges( |
- const media::Ranges<base::TimeDelta>& ranges); |
- |
-WebKit::WebMediaPlayer::NetworkState PipelineErrorToNetworkState( |
- media::PipelineStatus error); |
- |
-} // namespace webkit_media |
- |
-#endif // WEBKIT_RENDERER_MEDIA_WEBMEDIAPLAYER_UTIL_H_ |