[IMP] tools: Include the devtools into the release system

This commit adds the devtools as a zip file containing both chrome
and firefox versions of the extension in the release and also updates
the doc to install it easily.
This commit is contained in:
Julien Carion (juca)
2023-03-30 10:27:00 +02:00
committed by Géry Debongnie
parent ef5e4a0637
commit 1b1597c49e
5 changed files with 2408 additions and 4216 deletions
@@ -28,7 +28,7 @@
mutation.addedNodes.forEach(function (addedNode) {
if (addedNode.tagName == "IFRAME") {
// Ensure it is not an empty iframe element
if(addedNode.contentDocument){
if (addedNode.contentDocument) {
/*
* This message is intercepted by the content script which relays it to the background script which relays it to the devtools app.
* This process may seem long and indirect but is necessary. This applies to all window.top.postMessage methods in this file.