Index: devtools-panel.js |
diff --git a/devtools-panel.js b/devtools-panel.js |
index 8a09fe0069a2e9f1501c0288810864a4d3934d34..7efb35e1ea2535f7318607eaedfe647bda22e2c6 100644 |
--- a/devtools-panel.js |
+++ b/devtools-panel.js |
@@ -49,6 +49,9 @@ function generateFilter(request, domainSpecific) |
domainSpecific = true; |
} |
+ if (request.type == "CSP") |
+ options.push("csp"); |
+ |
if (domainSpecific) |
options.push("domain=" + request.docDomain); |