 Issue 29573905:
  Issue 4580 - Replace ext.devtools with devtools 
  Base URL: https://hg.adblockplus.org/adblockplusui/
    
  
    Issue 29573905:
  Issue 4580 - Replace ext.devtools with devtools 
  Base URL: https://hg.adblockplus.org/adblockplusui/| Index: ext/devtools.js | 
| =================================================================== | 
| --- a/ext/devtools.js | 
| +++ b/ext/devtools.js | 
| @@ -15,19 +15,9 @@ | 
| * along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. | 
| */ | 
| "use strict"; | 
| if (typeof ext == "undefined") | 
| window.ext = {}; | 
| -window.ext.devtools = { | 
| - panels: { | 
| - openResource() {} | 
| - }, | 
| - | 
| - inspectedWindow: { | 
| - reload() {} | 
| - } | 
| -}; | 
| - | 
| -window.ext.backgroundPage._sendRawMessage({type: "devtools"}); | 
| +chrome.runtime.sendMessage({type: "devtools.ready"}); | 
| 
Manish Jethani
2017/10/11 23:37:33
Using standard API
 |