Index: third_party/closure_compiler/externs/file_manager_private.js |
diff --git a/third_party/closure_compiler/externs/file_manager_private.js b/third_party/closure_compiler/externs/file_manager_private.js |
index 49d892d1ec11dee1babb765e52435673d43dc312..e218ed30e5bb38b8dc756b0bfa7f278707da96e4 100644 |
--- a/third_party/closure_compiler/externs/file_manager_private.js |
+++ b/third_party/closure_compiler/externs/file_manager_private.js |
@@ -60,6 +60,7 @@ var ProfileInfo; |
* volumeId: string, |
* fileSystemId: (string|undefined), |
* extensionId: (string|undefined), |
+ * source: string, |
* volumeLabel: (string|undefined), |
* profile: ProfileInfo, |
* sourcePath: (string|undefined), |
@@ -69,6 +70,7 @@ var ProfileInfo; |
* isParentDevice: (boolean|undefined), |
* isReadOnly: boolean, |
* hasMedia: boolean, |
+ * configurable: boolean, |
* mountCondition: (string|undefined), |
* mountContext: (string|undefined) |
* }} |