[Extensions] Move remaining notifications out of ExtensionSettingsHandler

third_party/closure_compiler/externs/developer_private.js

 // Copyright 2015 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.
 
 /** @fileoverview Externs generated from namespace: developerPrivate */
 
 /**
  * @const
  */
 chrome.developerPrivate = {};
 
 /**
  * @enum {string}
  * @see https://developer.chrome.com/extensions/developerPrivate#type-ItemType
  */
 chrome.developerPrivate.ItemType = {
-  hosted_app: 'hosted_app',
-  packaged_app: 'packaged_app',
-  legacy_packaged_app: 'legacy_packaged_app',
-  extension: 'extension',
-  theme: 'theme',
+  HOSTED_APP: 'hosted_app',
+  PACKAGED_APP: 'packaged_app',
+  LEGACY_PACKAGED_APP: 'legacy_packaged_app',
+  EXTENSION: 'extension',
+  THEME: 'theme',
 };
 
 /**
  * @typedef {{
  *   path: string,
  *   render_process_id: number,
  *   render_view_id: number,
  *   incognito: boolean,
  *   generatedBackgroundPage: boolean
  * }}
@@ skipping 351 matching lines @@
 chrome.developerPrivate.EventType = {
   INSTALLED: 'INSTALLED',
   UNINSTALLED: 'UNINSTALLED',
   LOADED: 'LOADED',
   UNLOADED: 'UNLOADED',
   VIEW_REGISTERED: 'VIEW_REGISTERED',
   VIEW_UNREGISTERED: 'VIEW_UNREGISTERED',
   ERROR_ADDED: 'ERROR_ADDED',
   ERRORS_REMOVED: 'ERRORS_REMOVED',
   PREFS_CHANGED: 'PREFS_CHANGED',
+  WARNINGS_CHANGED: 'WARNINGS_CHANGED',
 };
 
 /**
  * @typedef {{
  *   message: string,
  *   item_path: string,
  *   pem_path: string,
  *   override_flags: number,
  *   status: !chrome.developerPrivate.PackStatus
  * }}
@@ skipping 206 matching lines @@
 /**
  * Open the developer tools to focus on a particular error.
  * @param {OpenDevToolsProperties} properties
  * @param {function():void=} callback
  * @see https://developer.chrome.com/extensions/developerPrivate#method-openDevTools
  */
 chrome.developerPrivate.openDevTools = function(properties, callback) {};
 
 /**
  * Delete reported extension erors.
- * @param {DeleteExtensionErrorsProperties} properties
+ * @param {DeleteExtensionErrorsProperties} properties The properties specifying
+ *     the errors to remove.
  * @param {function():void=} callback
  * @see https://developer.chrome.com/extensions/developerPrivate#method-deleteExtensionErrors
  */
 chrome.developerPrivate.deleteExtensionErrors = function(properties, callback) {};
 
 /**
  * Repairs the extension specified.
- * @param {string} extensionId
+ * @param {string} extensionId The id of the extension to repair.
  * @param {function():void=} callback
  * @see https://developer.chrome.com/extensions/developerPrivate#method-repairExtension
  */
 chrome.developerPrivate.repairExtension = function(extensionId, callback) {};
 
 /**
  * Shows the options page for the extension specified.
- * @param {string} extensionId
+ * @param {string} extensionId The id of the extension to show the options page
+ *     for.
  * @param {function():void=} callback
  * @see https://developer.chrome.com/extensions/developerPrivate#method-showOptions
  */
 chrome.developerPrivate.showOptions = function(extensionId, callback) {};
 
 /**
  * Shows the path of the extension specified.
- * @param {string} extensionId
+ * @param {string} extensionId The id of the extension to show the path for.
  * @param {function():void=} callback
  * @see https://developer.chrome.com/extensions/developerPrivate#method-showPath
  */
 chrome.developerPrivate.showPath = function(extensionId, callback) {};
 
 /**
  * @param {string} id
  * @param {boolean} enabled
  * @param {function():void=} callback
  * @deprecated Use management.setEnabled
@@ skipping 26 matching lines @@
  * @see https://developer.chrome.com/extensions/developerPrivate#method-inspect
  */
 chrome.developerPrivate.inspect = function(options, callback) {};
 
 /**
  * Fired when a item state is changed.
  * @type {!ChromeEvent}
  * @see https://developer.chrome.com/extensions/developerPrivate#event-onItemStateChanged
  */
 chrome.developerPrivate.onItemStateChanged;
+
+/**
+ * Fired when the profile's state has changed.
+ * @type {!ChromeEvent}
+ * @see https://developer.chrome.com/extensions/developerPrivate#event-onProfileStateChanged
+ */
+chrome.developerPrivate.onProfileStateChanged;