| /pm/trunk/header.inc |
|---|
| 22,7 → 22,7 |
| <head> |
| <title><? echo "$title_str $strVersion"; ?></title> |
| <meta name="Description" content="Project Manager"> |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
| <META name="Author" content="Andreas Theofilu"> |
| <META name="Publisher" content="Andreas Theofilu = TheoSys"> |
| <META name="Copyright" content="Andreas Theofilu"> |
| /pm/trunk/menu.inc |
|---|
| 312,12 → 312,14 |
| echo "</table>\n"; |
| } |
| require_once('helper.inc'); |
| echo "</td></tr><tr><td colspan=2 height=\"2px\" style=\"background-color: $menucolor;\"></td></tr>\n"; |
| echo "<tr><td colspan=2 height=\"3px\" style=\"background-color: white;\"></td>\n"; |
| echo "</tr></table></div>\n<div id=\"norm\""; |
| $browser = get_browser(); |
| $br = GetBrowserInfo("browser"); |
| if ($browser["browser"] != "IE" && $menuHeight > 0) { // Ignore brain dead IE |
| if ($br != "IE" && $menuHeight > 0) { // Ignore brain dead IE |
| $h = $menuHeight * 24; |
| echo " style=\"top:". $h . "px;\">\n"; |
| } else |
| /pm/trunk/helper.inc |
|---|
| 59,6 → 59,17 |
| return false; |
| } |
| function GetBrowserInfo($key) { |
| $browser = get_browser(); |
| while (list ($schl, $value) = each ($browser)) { |
| if ($schl == $key) |
| return $value; |
| } |
| return ""; |
| } |
| function DEBUG($str) { |
| $fp = fopen("/tmp/debug.txt", "a"); |
| $tm = date("j.n.Y H:i:s", time()); |