Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 93415a27 authored by Yuncheol Heo's avatar Yuncheol Heo
Browse files

Add a permission resource for the protected media id. 

Matched Chromium change: http://crrev.com/309553004
> aw: Add ProtectedIdPermissionRequest.
>
> The DRM ID can be exploited to identify users. so the information
> should be handled under user's explict permission.
> This CL hooks up Chromium's permission request with Android Webview's
> permission mechanism.
>
> BUG=346841
> Committed: https://src.chromium.org/viewvc/chrome?view=rev&revision=276149

Bug: 11762354

Change-Id: Ife3c123ecca2c577ed1bc02a110b87618c6569cf
parent d1fdf023

api/current.txt

+1 −0
Original line number Diff line number Diff line
@@ -35254,6 +35254,7 @@ package android.webkit { 
    method public abstract long getResources();

    method public abstract void grant(long);

    field public static final long RESOURCE_AUDIO_CAPTURE = 4L; // 0x4L

    field public static final long RESOURCE_PROTECTED_MEDIA_ID = 8L; // 0x8L

    field public static final long RESOURCE_VIDEO_CAPTURE = 2L; // 0x2L

  }

























core/java/android/webkit/PermissionRequest.java



+6
−0




























Original line number
Diff line number
Diff line








@@ -39,6 +39,12 @@ public interface PermissionRequest {













     * Resource belongs to audio capture device, like microphone.















     */















    public final static long RESOURCE_AUDIO_CAPTURE = 1 << 2;













    /**













     * Resource belongs to protected media identifier.













     * After the user grants this resource, the origin can use EME APIs to generate the license













     * requests.













     */













    public final static long RESOURCE_PROTECTED_MEDIA_ID = 1 << 3;































    /**















     * @return the origin of web content which attempt to access the restricted