[Extensions UI] Use developerPrivate API for repair, options, show path

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 = {};
@@ skipping 601 matching lines @@
 
 /**
  * Delete reported extension erors.
  * @param {DeleteExtensionErrorsProperties} properties
  * @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 {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 {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 {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
  * @see https://developer.chrome.com/extensions/developerPrivate#method-enable
  */
 chrome.developerPrivate.enable = function(id, enabled, callback) {};
 
 /**
  * @param {string} extensionId
@@ skipping 20 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;