Noissue - Merge current tip to Edge bookmark

devtools.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
- * Copyright (C) 2006-2016 Eyeo GmbH
+ * Copyright (C) 2006-2017 eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
@@ skipping 26 matching lines @@
           });
 
           panel.onHidden.addListener(window =>
           {
             panelWindow = null;
           });
 
           panel.onSearch.addListener((eventName, queryString) =>
           {
             if (panelWindow)
-            {
-              panelWindow.postMessage({
-                type: eventName,
-                queryString: queryString
-              }, "*");
-            }
+              panelWindow.postMessage({type: eventName, queryString}, "*");
           });
         }
       );
     }
   }
 );