Changeset 84254 in webkit

Timestamp:

Apr 19, 2011 7:43:24 AM (13 years ago)

Author:

caseq@chromium.org

Message:

2011-04-19 Andrey Kosyakov <​caseq@chromium.org>

Reviewed by Pavel Feldman.

Web Inspector: add chrome.devTools alias to webInspector namespace for chromium port
​https://bugs.webkit.org/show_bug.cgi?id=58894

• src/js/DevTools.js: (WebInspector.platformExtensionAPI):

Location:

trunk/Source/WebKit/chromium

Files:

• ChangeLog (modified) (1 diff)
• src/js/DevTools.js (modified) (1 diff)

trunk/Source/WebKit/chromium/ChangeLog

@@ +1 @@
+2011-04-19  Andrey Kosyakov  <caseq@chromium.org>
+
+        Reviewed by Pavel Feldman.
+
+        Web Inspector: add chrome.devTools alias to webInspector namespace for chromium port
+        https://bugs.webkit.org/show_bug.cgi?id=58894
+
+        * src/js/DevTools.js:
+        (WebInspector.platformExtensionAPI):
+
 2011-04-19  Kinuko Yasuda  <kinuko@chromium.org>
 

trunk/Source/WebKit/chromium/src/js/DevTools.js

@@ -170 +170 @@
     }
     webInspector.inspectedWindow.__proto__.__defineGetter__("tabId", getTabId);
+    chrome = window.chrome || {};
+    chrome.devTools = chrome.devTools || {};
+    for (var property in webInspector)
+        chrome.devTools[property] = webInspector[property];
 }