diff options
| author | hackademix | 2018-07-26 23:23:11 +0200 |
|---|---|---|
| committer | hackademix | 2018-07-26 23:48:20 +0200 |
| commit | 21810063d0851fb88623d0458fa4fc2cd054b0db (patch) | |
| tree | 1fb30dd82c8c82e4cd9e9dd717efcc2b3131b224 /src/content/media.js | |
| parent | 4e62643b33e0f3a7653ae94cda34c7d6ace52097 (diff) | |
| download | noscript-21810063d0851fb88623d0458fa4fc2cd054b0db.tar.gz noscript-21810063d0851fb88623d0458fa4fc2cd054b0db.tar.xz noscript-21810063d0851fb88623d0458fa4fc2cd054b0db.zip | |
Disable scripting in HTML-embedding objects where webglHook cannot run, if webgl not allowed.
Diffstat (limited to 'src/content/media.js')
| -rw-r--r-- | src/content/media.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/content/media.js b/src/content/media.js index ead6e05..5a6827a 100644 --- a/src/content/media.js +++ b/src/content/media.js @@ -1,4 +1,4 @@ -if (correctFrame()) { +{ debug("Media Hook (blocked %s)", !!window.mediaBlocker, document.URL, document.documentElement && document.documentElement.innerHTML); (() => { let unpatched = new Map(); |