Version changed to 2.0. Final release
[fa-stable.git] / includes / page / header.inc
index 7d52f410bb77fbe25553f38681bbae94e6c27f99..97529207827b49f15a4b97c41126d9dec924d57b 100644 (file)
@@ -94,18 +94,21 @@ function page_header($title, $no_menu=false, $is_index=false, $onload="", $js=""
        else
                $sel_app = $def_app;
        $_SESSION["sel_app"] = $sel_app;
+       if (isset($_SESSION["App"]) && is_object($_SESSION["App"]))
+               $_SESSION["App"]->selected_application = $sel_app;
        $encoding = $_SESSION['language']->encoding;
 
        if (!headers_sent()){
                header("Content-type: text/html; charset='$encoding'");
        }
+       echo "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">\n";
        echo "<html dir='" . $_SESSION['language']->dir . "' >\n";
        echo "<head><title>$title</title>";
        $local_stylesheet = $_SESSION['language']->get_stylesheet();
-       echo "<meta http-equiv='Content-type' content='text/html'; charset='$encoding'>";
-       echo "<link href='$local_path_to_root/themes/$theme/default.css' rel='stylesheet' type='text/css' /> \n";
+       echo "<meta http-equiv='Content-type' content='text/html; charset=$encoding'>";
+       echo "<link href='$local_path_to_root/themes/$theme/default.css' rel='stylesheet' type='text/css'> \n";
        if (file_exists($local_path_to_root. "/".$local_stylesheet))
-               echo "<link href='$local_path_to_root/$local_stylesheet' rel='stylesheet' type='text/css' /> \n";
+               echo "<link href='$local_path_to_root/$local_stylesheet' rel='stylesheet' type='text/css'> \n";
        send_scripts($js);
 
        echo "</head> \n";