Specify charset

diff --git a/adminer/file.inc.php b/adminer/file.inc.php
index f625b00980cb89a90b70d16064da5ce9cdbc672b..0b3e8e7dc1b67d88e9c69d9891f784cfbd9880ef 100644 (file)
--- a/adminer/file.inc.php
+++ b/adminer/file.inc.php
@@ -1,13 +1,14 @@
 <?php
 header("Expires: " . gmdate("D, d M Y H:i:s", time() + 365*24*60*60) . " GMT");
+
 if ($_GET["file"] == "favicon.ico") {
        header("Content-Type: image/x-icon");
        echo base64_decode("compile_file('../adminer/static/favicon.ico', 'base64_encode');");
 } elseif ($_GET["file"] == "default.css") {
-       header("Content-Type: text/css");
+       header("Content-Type: text/css; charset=utf-8");
        ?>compile_file('../adminer/static/default.css', 'minify_css');<?php
 } elseif ($_GET["file"] == "functions.js") {
-       header("Content-Type: text/javascript");
+       header("Content-Type: text/javascript; charset=utf-8");
        ?>compile_file('../adminer/static/functions.js', 'JSMin::minify');compile_file('static/editing.js', 'JSMin::minify');<?php
 } else {
        header("Content-Type: image/gif");