| Index: ext/devtools.js |
| =================================================================== |
| --- a/ext/devtools.js |
| +++ b/ext/devtools.js |
| @@ -12,16 +12,15 @@ |
| * GNU General Public License for more details. |
| * |
| * 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 = browser.devtools.inspectedWindow.tabId; |
| let port = browser.runtime.connect({name: "devtools-" + inspectedTabId}); |
| ext.onMessage = port.onMessage; |
| ext.devtools = browser.devtools; |
| -}()); |
| +} |