| 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; | 
| }()); |