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