| Index: ext/devtools.js |
| =================================================================== |
| --- a/ext/devtools.js |
| +++ b/ext/devtools.js |
| @@ -14,14 +14,14 @@ |
| * You should have received a copy of the GNU General Public License |
| * along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
| */ |
| "use strict"; |
| (function() |
| { |
| - let inspectedTabId = chrome.devtools.inspectedWindow.tabId; |
| - let port = chrome.runtime.connect({name: "devtools-" + inspectedTabId}); |
| + let inspectedTabId = browser.devtools.inspectedWindow.tabId; |
| + let port = browser.runtime.connect({name: "devtools-" + inspectedTabId}); |
| ext.onMessage = port.onMessage; |
| - ext.devtools = chrome.devtools; |
| + ext.devtools = browser.devtools; |
| }()); |