| 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); |