diff --git a/_compile.php b/_compile.php index 4fd0f200..c913b16f 100644 --- a/_compile.php +++ b/_compile.php @@ -54,5 +54,6 @@ if ($_SESSION["lang"]) { $file = str_replace("", $_SESSION["lang"], $file); } $file = str_replace("favicon.ico", "data:image/x-icon;base64," . base64_encode(file_get_contents("favicon.ico")), $file); +$file = str_replace('', "", $file); file_put_contents($filename, $file); echo "$filename created.\n"; diff --git a/design.inc.php b/design.inc.php index 61823f89..14f36015 100644 --- a/design.inc.php +++ b/design.inc.php @@ -10,21 +10,7 @@ function page_header($title) { <?php echo lang('phpMinAdmin') . " - $title"; ?> - +