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 |