DevTools: show extension name in console context switcher

Source/WebKit/chromium/public/WebFrame.h

Index: Source/WebKit/chromium/public/WebFrame.h
diff --git a/Source/WebKit/chromium/public/WebFrame.h b/Source/WebKit/chromium/public/WebFrame.h
index d1ff74278382763c6706b69e47c1914f47412161..170c6c050dcb04c2715605ebe8f294020496cef3 100644
--- a/Source/WebKit/chromium/public/WebFrame.h
+++ b/Source/WebKit/chromium/public/WebFrame.h
@@ -251,6 +251,11 @@ public:
     virtual void setIsolatedWorldSecurityOrigin(
         int worldID, const WebSecurityOrigin&) = 0;
 
+    // Associates an isolated world with human-readable name which is useful for
+    // extension debugging.
+    virtual void setIsolatedWorldHumanReadableName(
+        int worldID, const WebString&) = 0;
+
     // Associates a content security policy with an isolated world. This policy
     // should be used when evaluating script in the isolated world, and should
     // also replace a protected resource's CSP when evaluating resources