diff --git a/adminer/file.inc.php b/adminer/file.inc.php index 5d3332cd..53d765a2 100644 --- a/adminer/file.inc.php +++ b/adminer/file.inc.php @@ -9,7 +9,7 @@ if ($_GET["file"] == "favicon.ico") { echo lzw_decompress("compile_file('../adminer/static/default.css', 'minify_css');"); } elseif ($_GET["file"] == "functions.js") { header("Content-Type: text/javascript; charset=utf-8"); - ?>compile_file('../adminer/static/functions.js', 'jsShrink');compile_file('static/editing.js', 'jsShrink');