[DevTools] Move extension embedder message to InspectorFrontentAPI.

Source/devtools/front_end/extensions/ExtensionAPI.js

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 1005 matching lines @@
             Object.defineProperty(chrome.experimental.devtools, properties[i], descriptor);
         }
         chrome.experimental.devtools.inspectedWindow = chrome.devtools.inspectedWindow;
     }
     if (extensionInfo.exposeWebInspectorNamespace)
         window.webInspector = coreAPI;
 }
 
 /**
  * @param {!ExtensionDescriptor} extensionInfo
+ * @param {string} inspectedTabId
  * @return {string}
  */
-function buildPlatformExtensionAPI(extensionInfo)
+function buildPlatformExtensionAPI(extensionInfo, inspectedTabId)
 {
     return "var extensionInfo = " + JSON.stringify(extensionInfo) + ";" +
-       "var tabId = " + WebInspector._inspectedTabId + ";" +
+       "var tabId = " + inspectedTabId + ";" +
        platformExtensionAPI.toString();
 }
 
 /**
  * @param {!ExtensionDescriptor} extensionInfo
+ * @param {string} inspectedTabId
  * @return {string}
  */
-function buildExtensionAPIInjectedScript(extensionInfo)
+function buildExtensionAPIInjectedScript(extensionInfo, inspectedTabId)
 {
     return "(function(injectedScriptId){ " +
         "var extensionServer;" +
         defineCommonExtensionSymbols.toString() + ";" +
         injectedExtensionAPI.toString() + ";" +
-        buildPlatformExtensionAPI(extensionInfo) + ";" +
+        buildPlatformExtensionAPI(extensionInfo, inspectedTabId) + ";" +
         "platformExtensionAPI(injectedExtensionAPI(injectedScriptId));" +
         "return {};" +
         "})";
 }