Media Galleries: Add a dropPermissionForMediaFileSystem() API.

chrome/common/extensions/api/media_galleries.idl

Index: chrome/common/extensions/api/media_galleries.idl
===================================================================
--- chrome/common/extensions/api/media_galleries.idl	(revision 262440)
+++ chrome/common/extensions/api/media_galleries.idl	(working copy)
@@ -57,6 +57,8 @@
       void ([instanceOf=DOMFileSystem] object[] mediaFileSystems,
             DOMString selectedFileSystemName);
 
+  callback DropPermissionForMediaFileSystemCallback = void (boolean wasDropped);
+
   [inline_doc] dictionary MediaFileSystemMetadata {
     // The name of the file system.
     DOMString name;
@@ -141,6 +143,11 @@
     // gesture, the callback will run as though the user canceled.
     static void addUserSelectedFolder(AddUserFolderCallback callback);
 
+    // Give up access to a given media gallery.
+    static void dropPermissionForMediaFileSystem(

[not at google - send to devlin, 2014/04/09 15:42:04]

Consistency bikeshed:

- I'd just call this "dropMediaFileSystem" to parallel "addMediaFileSystems".
- Maybe it should take a list of gallery IDs to further parallel it (... maybe).

+        DOMString galleryId,
+        optional DropPermissionForMediaFileSystemCallback callback);
+
     // Start a scan of the user's hard disks for directories containing media.
     // The scan may take a long time so progress and completion is communicated
     // by events. No permission is granted as a result of the scan, see