Pepper: Finish support for dev channel APIs.

ppapi/shared_impl/ppapi_permissions.h

Index: ppapi/shared_impl/ppapi_permissions.h
diff --git a/ppapi/shared_impl/ppapi_permissions.h b/ppapi/shared_impl/ppapi_permissions.h
index fb82cfcd268b1ee79865f89cc16445308fcce059..8fb939d03d9c7d5213e1178189804783973b3128 100644
--- a/ppapi/shared_impl/ppapi_permissions.h
+++ b/ppapi/shared_impl/ppapi_permissions.h
@@ -30,6 +30,9 @@ enum Permission {
   // Flash-related interfaces.
   PERMISSION_FLASH = 1 << 4,
 
+  // Dev-channel interfaces.

[dmichael (off chromium), 2013/12/18 22:40:50]

A more verbose description contrasting with "DEV" might help anybody who looks
here and doesn't know the history there.

+  PERMISSION_DEV_CHANNEL = 1 << 5,
+
   // NOTE: If you add stuff be sure to update PERMISSION_ALL_BITS.
 
   // Meta permission for initializing plugins registered on the command line
@@ -38,7 +41,8 @@ enum Permission {
                         PERMISSION_PRIVATE |
                         PERMISSION_BYPASS_USER_GESTURE |
                         PERMISSION_TESTING |
-                        PERMISSION_FLASH
+                        PERMISSION_FLASH |
+                        PERMISSION_DEV_CHANNEL
 };
 
 class PPAPI_SHARED_EXPORT PpapiPermissions {