No manual <noscript> removal required anymore

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 21dd60d2ce930519df524da05f04c8d92d31c1d3..13de08d57a9fde7270ee1e0a12776c346ce390f3 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -100,7 +100,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;
                }
        }
 }