| 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)
|
| * }}
|
|
|