[Extensions] Make chrome://extensions use developerPrivate for inspect

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 */
 
 // Note: hand-modified to change Array to !Array in ItemInfo typedef, and add
 // enum definitions.
 
 /**
@@ skipping 49 matching lines @@
  *   runtime_errors: !Array,
  *   offline_enabled: boolean,
  *   views: !Array
  * }}
  */
 var ItemInfo;
 
 /**
  * @typedef {{
  *   extension_id: string,
- *   render_process_id: string,
- *   render_view_id: string,
+ *   render_process_id: (string|number),
+ *   render_view_id: (string|number),

[Dan Beam, 2015/03/09 22:23:51]

btw, we should probably update the internal copy as well.  didn't know it
existed till right now :/

  *   incognito: boolean
  * }}
  */
 var InspectOptions;
 
 /**
  * @typedef {{
  *   failQuietly: (boolean|undefined)
  * }}
  */
@@ skipping 225 matching lines @@
 chrome.developerPrivate.requestFileSource = function(properties, callback) {};
 
 /**
  * Open the developer tools to focus on a particular error.
  * @param {OpenDevToolsProperties} properties
  */
 chrome.developerPrivate.openDevTools = function(properties) {};
 
 /** @type {!ChromeEvent} */
 chrome.developerPrivate.onItemStateChanged;