DevTools: Get rid of WebInspector.panels

Source/devtools/front_end/sources/module.json

 {
     "extensions": [
         {
             "type": "@WebInspector.Panel",
             "name": "sources",
             "title": "Sources",
             "order": 2,
             "className": "WebInspector.SourcesPanel"
         },
         {
             "type": "@WebInspector.ContextMenu.Provider",
             "contextTypes": ["WebInspector.UISourceCode", "WebInspector.RemoteObject"],
             "className": "WebInspector.SourcesPanel.ContextMenuProvider"
         },
         {
             "type": "@WebInspector.SearchScope",
             "className": "WebInspector.SourcesSearchScope"
         },
         {
             "type": "@WebInspector.DrawerEditor",
             "className": "WebInspector.SourcesPanel.DrawerEditor"
         },
         {
             "type": "@WebInspector.Revealer",
             "contextTypes": ["WebInspector.UILocation"],
             "className": "WebInspector.SourcesPanel.UILocationRevealer"
         },
         {
+            "type": "@WebInspector.Revealer",
+            "contextTypes": ["WebInspector.UISourceCode"],
+            "className": "WebInspector.SourcesPanel.UISourceCodeRevealer"
+        },
+        {
             "type": "@WebInspector.SourcesView.EditorAction",
             "className": "WebInspector.InplaceFormatterEditorAction"
         },
         {
             "type": "@WebInspector.SourcesView.EditorAction",
             "className": "WebInspector.ScriptFormatterEditorAction"
         },
         {
             "type": "navigator-view",
             "name": "sources",
@@ skipping 104 matching lines @@
             "type": "ui-setting",
             "experiment": "frameworksDebuggingSupport",
             "parentSettingName": "skipStackFramesSwitch",
             "settingType": "custom",
             "className": "WebInspector.SourcesPanel.SkipStackFramePatternSettingDelegate"
         }
     ],
     "dependencies": [ "source_frame" ],
     "scripts": [ "SourcesPanel.js" ]
 }