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

chrome/common/extensions/api/developer_private.idl

Index: chrome/common/extensions/api/developer_private.idl
diff --git a/chrome/common/extensions/api/developer_private.idl b/chrome/common/extensions/api/developer_private.idl
index 1074ec0b01f5d7af2884b6ffd95c5456d2c6dab2..a1d817ba77425a7a33461b678aab4d553e0ba89a 100644
--- a/chrome/common/extensions/api/developer_private.idl
+++ b/chrome/common/extensions/api/developer_private.idl
@@ -493,11 +493,25 @@ namespace developerPrivate {
                              optional VoidCallback callback);
 
     // Delete reported extension erors.
-    // | properties | : The properties specifying the errors to remove.
+    // |properties| : The properties specifying the errors to remove.
     static void deleteExtensionErrors(
         DeleteExtensionErrorsProperties properties,
         optional VoidCallback callback);
 
+    // Repairs the extension specified.
+    // |extensionId| : The id of the extension to repair.
+    static void repairExtension(DOMString extensionId,
+                                optional VoidCallback callback);
+
+    // Shows the options page for the extension specified.
+    // |extensionId| : The id of the extension to show the options page for.
+    static void showOptions(DOMString extensionId,
+                            optional VoidCallback callback);
+
+    // Shows the path of the extension specified.
+    // |extensionId| : The id of the extension to show the path for.
+    static void showPath(DOMString extensionId, optional VoidCallback callback);
+
     [nocompile, deprecated="Use management.setEnabled"]
         static void enable(DOMString id,
                            boolean enabled,