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