diff options
| author | Andreas Huber <andih@google.com> | 2010-11-15 08:54:40 -0800 |
|---|---|---|
| committer | Andreas Huber <andih@google.com> | 2010-11-15 08:54:40 -0800 |
| commit | 5dffd0e3af502acdc2e45425139ef8081fa4f0a8 (patch) | |
| tree | 0730201f4f756f073b90eda0e7bf1bc63536c784 /core/java | |
| parent | 98d50a0be8a61fa1d093136b57bc5712be795c2b (diff) | |
Add http live mime types to MediaFile, add support for playlist mime types to browser.
Change-Id: I1f0b31dd2f4e6cfa33a61ff8505e8396aca3c20f
related-to-bug: 2368598
Diffstat (limited to 'core/java')
| -rw-r--r-- | core/java/android/webkit/WebViewCore.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/core/java/android/webkit/WebViewCore.java b/core/java/android/webkit/WebViewCore.java index 0fcd26ceb303..8c515dbe89f2 100644 --- a/core/java/android/webkit/WebViewCore.java +++ b/core/java/android/webkit/WebViewCore.java @@ -283,7 +283,9 @@ final class WebViewCore { */ /* package */ static boolean isSupportedMediaMimeType(String mimeType) { int fileType = MediaFile.getFileTypeForMimeType(mimeType); - return MediaFile.isAudioFileType(fileType) || MediaFile.isVideoFileType(fileType); + return MediaFile.isAudioFileType(fileType) + || MediaFile.isVideoFileType(fileType) + || MediaFile.isPlayListFileType(fileType); } /** |