diff options
| author | 2010-10-05 16:59:05 -0700 | |
|---|---|---|
| committer | 2010-10-05 16:59:05 -0700 | |
| commit | bf01312965c4257bc1fc912dc2fdfea9d926e23b (patch) | |
| tree | e703874a9db719da1193d92fd698249fcc07cd04 | |
| parent | 066b5c5166c1f5342bd42aa0d68f784a5f4c1dd1 (diff) | |
Add wrapper method for native JNI call.
This is to check whether a given mimeType is supported in Android media
framework.
issue: 2816278
Change-Id: I66d379d039c4e1f4a8528654ece006335fd4463f
| -rw-r--r-- | core/java/android/webkit/WebViewCore.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/core/java/android/webkit/WebViewCore.java b/core/java/android/webkit/WebViewCore.java index 746266847317..7c089d8500ac 100644 --- a/core/java/android/webkit/WebViewCore.java +++ b/core/java/android/webkit/WebViewCore.java @@ -22,6 +22,7 @@ import android.database.Cursor; import android.graphics.Point; import android.graphics.Rect; import android.graphics.Region; +import android.media.MediaFile; import android.net.Uri; import android.os.Handler; import android.os.Looper; @@ -252,6 +253,13 @@ final class WebViewCore { return mSettings; } + /* + * Given mimeType, check whether it's supported in Android media framework. + * mimeType could be such as "audio/ogg" and "video/mp4". + */ + /* package */ static boolean supportsMimeType(String mimeType) { + return MediaFile.getFileTypeForMimeType(mimeType) > 0; + } /** * Add an error message to the client's console. * @param message The message to add |