Better <noscript> removal

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index ce3061539637bf5fb5c662e0d60e1d2feb8917e0..857a07cba68a47ba93729291f16b43ce968f72ab 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -102,7 +102,7 @@ function setHtml(id, html) {
                if (html == undefined) {
                        el.parentNode.innerHTML = ' ';
                } else {
-                       el.innerHTML = html.replace(/<noscript>.*<\/noscript>/i, ''); // required for Google Chrome // hopes that there will be only one <noscript> on each line
+                       el.innerHTML = ('' + html).replace(/<noscript>[\0-\uFFFF]*<\/noscript>/gi, ''); // required for Google Chrome
                }
        }
 }