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

chrome/common/extensions/api/developer_private.idl

 // Copyright (c) 2012 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.
 
 // developerPrivate API.
 // This is a private API exposing developing and debugging functionalities for
 // apps and extensions.
 namespace developerPrivate {
 
   // DEPRECATED: Prefer ExtensionType.
@@ skipping 480 matching lines @@
     // Open the developer tools to focus on a particular error.
     static void openDevTools(OpenDevToolsProperties properties,
                              optional VoidCallback callback);
 
     // Delete reported extension erors.
     // | 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.

[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,
                            optional VoidCallback callback);
     [nocompile, deprecated="Use updateExtensionConfiguration"]
         static void allowIncognito(DOMString extensionId,
                                    boolean allow,
                                    optional VoidCallback callback);
     [nocompile, deprecated="Use updateExtensionConfiguration"]
         static void allowFileAccess(DOMString extensionId,
                                     boolean allow,
                                     optional VoidCallback callback);
     [nocompile, deprecated="Use openDevTools"]
         static void inspect(InspectOptions options,
                             optional VoidCallback callback);
   };
 
   interface Events {
     // Fired when a item state is changed.
     static void onItemStateChanged(EventData response);
   };
 
 };