MD Settings: user list fixes

third_party/closure_compiler/externs/users_private.js

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // This file was generated by:
-//   tools/json_schema_compiler/compiler.py.
+//   ./tools/json_schema_compiler/compiler.py.
 // NOTE: The format of types has changed. 'FooType' is now
 //   'chrome.usersPrivate.FooType'.
 // Please run the closure compiler before committing changes.
 // See https://chromium.googlesource.com/chromium/src/+/master/docs/closure_compilation.md
 
 /** @fileoverview Externs generated from namespace: usersPrivate */
 
 /**
  * @const
  */
 chrome.usersPrivate = {};
 
 /**
  * @typedef {{
  *   email: string,
  *   name: string,
- *   isOwner: boolean
+ *   isOwner: boolean,
+ *   isSupervised: boolean
  * }}
  * @see https://developer.chrome.com/extensions/usersPrivate#type-User
  */
 chrome.usersPrivate.User;
 
 /**
  * Gets a list of the currently whitelisted users.
  * @param {function(!Array<!chrome.usersPrivate.User>):void} callback
  * @see https://developer.chrome.com/extensions/usersPrivate#method-getWhitelistedUsers
  */
@@ skipping 26 matching lines @@
  * @see https://developer.chrome.com/extensions/usersPrivate#method-isCurrentUserOwner
  */
 chrome.usersPrivate.isCurrentUserOwner = function(callback) {};
 
 /**
  * Whether the whitelist is managed by enterprise.
  * @param {function(boolean):void} callback
  * @see https://developer.chrome.com/extensions/usersPrivate#method-isWhitelistManaged
  */
 chrome.usersPrivate.isWhitelistManaged = function(callback) {};