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

third_party/closure_compiler/externs/developer_private.js

Index: third_party/closure_compiler/externs/developer_private.js
diff --git a/third_party/closure_compiler/externs/developer_private.js b/third_party/closure_compiler/externs/developer_private.js
index 53091a1bcd0723ca5a9bf32047656cc091f051ab..2dbf1dbfe47978039dec23d1f6e4be275aaae103 100644
--- a/third_party/closure_compiler/externs/developer_private.js
+++ b/third_party/closure_compiler/externs/developer_private.js
@@ -619,6 +619,30 @@ chrome.developerPrivate.openDevTools = function(properties, callback) {};
 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