| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "@WebInspector.Panel", | 4 "type": "@WebInspector.Panel", |
| 5 "name": "sources", | 5 "name": "sources", |
| 6 "title": "Sources", | 6 "title": "Sources", |
| 7 "order": 2, | 7 "order": 2, |
| 8 "className": "WebInspector.SourcesPanel" | 8 "className": "WebInspector.SourcesPanel" |
| 9 }, | 9 }, |
| 10 { | 10 { |
| (...skipping 190 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 201 "WatchExpressionsSidebarPane.js", | 201 "WatchExpressionsSidebarPane.js", |
| 202 "ThreadsSidebarPane.js", | 202 "ThreadsSidebarPane.js", |
| 203 "ScriptFormatterEditorAction.js", | 203 "ScriptFormatterEditorAction.js", |
| 204 "InplaceFormatterEditorAction.js", | 204 "InplaceFormatterEditorAction.js", |
| 205 "ScriptFormatter.js", | 205 "ScriptFormatter.js", |
| 206 "SourcesView.js", | 206 "SourcesView.js", |
| 207 "AdvancedSearchView.js", | 207 "AdvancedSearchView.js", |
| 208 "FileBasedSearchResultsPane.js", | 208 "FileBasedSearchResultsPane.js", |
| 209 "SourcesSearchScope.js", | 209 "SourcesSearchScope.js", |
| 210 "SourcesPanel.js" | 210 "SourcesPanel.js" |
| 211 ], |
| 212 "skip_compilation": [ |
| 213 "jsdifflib.js" |
| 211 ] | 214 ] |
| 212 } | 215 } |
| OLD | NEW |