DevTools: Get rid of WebInspector.panels

Source/devtools/front_end/sources/SourcesPanel.js

Index: Source/devtools/front_end/sources/SourcesPanel.js
diff --git a/Source/devtools/front_end/sources/SourcesPanel.js b/Source/devtools/front_end/sources/SourcesPanel.js
index 99c87a24776ae8dad283d7f5de1669cc10b8666b..41b4d3bc39510cf0e0356be5aef6b5b6f8c08a01 100644
--- a/Source/devtools/front_end/sources/SourcesPanel.js
+++ b/Source/devtools/front_end/sources/SourcesPanel.js
@@ -1252,6 +1252,25 @@ WebInspector.SourcesPanel.UILocationRevealer.prototype = {
 
 /**
  * @constructor
+ * @implements {WebInspector.Revealer}
+ */
+WebInspector.SourcesPanel.UISourceCodeRevealer = function()
+{
+}
+
+WebInspector.SourcesPanel.UISourceCodeRevealer.prototype = {
+    /**
+     * @param {!Object} uiSourceCode
+     */
+    reveal: function(uiSourceCode)
+    {
+        if (uiSourceCode instanceof WebInspector.UISourceCode)
+            /** @type {!WebInspector.SourcesPanel} */ (WebInspector.inspectorView.panel("sources")).showUISourceCode(uiSourceCode);
+    }
+}
+
+/**
+ * @constructor
  * @implements {WebInspector.ActionDelegate}
  */
 WebInspector.SourcesPanel.ShowGoToSourceDialogActionDelegate = function() {}