}
elseif ($title==_("Main Menu"))
{
- $help_page_url = $applications[$app];
+ $help_page_url = access_string($applications[$app], true);
}
else
{
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";