| OLD | NEW |
| 1 (function() { | 1 (function() { |
| 2 /* | 2 /* |
| 3 * Copyright (C) 2012 Google Inc. All rights reserved. | 3 * Copyright (C) 2012 Google Inc. All rights reserved. |
| 4 * | 4 * |
| 5 * Redistribution and use in source and binary forms, with or without | 5 * Redistribution and use in source and binary forms, with or without |
| 6 * modification, are permitted provided that the following conditions are | 6 * modification, are permitted provided that the following conditions are |
| 7 * met: | 7 * met: |
| 8 * | 8 * |
| 9 * * Redistributions of source code must retain the above copyright | 9 * * Redistributions of source code must retain the above copyright |
| 10 * notice, this list of conditions and the following disclaimer. | 10 * notice, this list of conditions and the following disclaimer. |
| (...skipping 956 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 967 Object.defineProperty(chrome.experimental.devtools, properties[i], d
escriptor); | 967 Object.defineProperty(chrome.experimental.devtools, properties[i], d
escriptor); |
| 968 } | 968 } |
| 969 chrome.experimental.devtools.inspectedWindow = chrome.devtools.inspected
Window; | 969 chrome.experimental.devtools.inspectedWindow = chrome.devtools.inspected
Window; |
| 970 } | 970 } |
| 971 if (extensionInfo.exposeWebInspectorNamespace) | 971 if (extensionInfo.exposeWebInspectorNamespace) |
| 972 window.webInspector = coreAPI; | 972 window.webInspector = coreAPI; |
| 973 } | 973 } |
| 974 | 974 |
| 975 var tabId; | 975 var tabId; |
| 976 var extensionInfo = {}; | 976 var extensionInfo = {}; |
| 977 var extensionServer; |
| 977 platformExtensionAPI(injectedExtensionAPI("remote-" + window.parent.fram
es.length)); | 978 platformExtensionAPI(injectedExtensionAPI("remote-" + window.parent.fram
es.length)); |
| 978 })(); | 979 })(); |
| OLD | NEW |