[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..3d964babc925f8c282e96c86b02b098cf8b58186 100644
--- a/chrome/common/extensions/api/developer_private.idl
+++ b/chrome/common/extensions/api/developer_private.idl
@@ -498,6 +498,20 @@ namespace developerPrivate {
         DeleteExtensionErrorsProperties properties,
         optional VoidCallback callback);
 
+    // Repairs the extension specified.
+    // | extensionId | : The id of the extension to repair.

[not at google - send to devlin, 2015/04/16 17:33:25]

Should be |extensionId| not | extensionId |, could you update the
deleteExtensionErrors to use that style as well?

[Devlin, 2015/04/16 17:59:12]

Done. I keep forgetting if it's the || that need a space or the : for IDL to
parse it correctly (it's the :).

Okay, that just looked like a bunch of random symbols...

+    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,