Settings People CrOS: Display supervised users' names correctly.

third_party/closure_compiler/externs/users_private.js

-// Copyright 2015 The Chromium Authors. All rights reserved.
+// 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.
+// 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
  * }}
  * @see https://developer.chrome.com/extensions/usersPrivate#type-User
  */
-var User;
+chrome.usersPrivate.User;
 
 /**
  * Gets a list of the currently whitelisted users.
- * @param {function(!Array<User>):void} callback
+ * @param {function(!Array<!chrome.usersPrivate.User>):void} callback
  * @see https://developer.chrome.com/extensions/usersPrivate#method-getWhitelistedUsers
  */
 chrome.usersPrivate.getWhitelistedUsers = function(callback) {};
 
 /**
  * Adds a new user with the given email to the whitelist. The callback is called
  * with true if the user was added succesfully, or with false if not (e.g.
  * because the user was already present, or the current user isn't the owner).
  * @param {string} email
  * @param {function(boolean):void} callback
@@ skipping 18 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) {};