Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

[abd086]: start_page.php3 Maximize Restore History

Download this file

start_page.php3    131 lines (99 with data), 3.1 kB

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
<?php
print("<?xml version=\"1.0\" encoding=\"iso-8859-1\"?>\n");
// the above is kind of hacky but ...
function doctype() {
print("<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n");
print("<html xmlns=\"http://www.w3.org/1999/xhtml\" lang=\"en\" xml:lang=\"en\">\n");
print("<?xml-stylesheet href=\"./style.css\" type=\"text/css\"?>\n\n");
}
function br() {
print("<br />\n");
}
function title($title) {
print("<title>$title</title>\n\n");
}
function stylesheet($file) {
print("<link rel=\"stylesheet\" href=\"$file\" />\n");
}
function meta($name, $content) {
print("<meta name=\"$name\" content=\"$content\"/>\n");
}
function div($name) {
print("\n<div class=\"$name\"> <!-- start div $name -->\n\n");
}
function enddiv($name) {
print("\n\n</div> <!-- end div $name -->\n\n");
}
function img($file, $alt, $width, $height) {
print("<img src=\"$file\" alt=\"$alt\" width=\"$width\" height=\"$height\" />\n");
}
function href($link, $text = "") {
print("<a href=\"$link\">\n\n");
if ($text == "") {
return;
}
print("$text\n\n</a>\n");
}
function endhref($link) {
print("\n\n</a> <!-- endhref $link -->\n");
}
function menu_entry($file, $name, $link) {
print ("<li>\n");
if ($file != $link) {
href($link);
}
print ("$name\n");
if ($file != $link) {
endhref($link);
}
print("</li>\n");
}
function start_page($file, $title) {
doctype();
print("<head>\n\n");
stylesheet("style.css");
title($title);
meta("description", "About oprofile, a continuous system-wide profiler for Linux");
meta("keywords", "unix, linux, profile, kernel");
print("</head>\n\n");
print("<body>\n");
div("topbar");
div("logo");
img("oprofile.png", "OProfile", 402, 80);
enddiv("logo");
div("note");
href("browser.php3", "Page doesn't render properly ?");
enddiv("note");
enddiv("topbar");
div("pinmenu");
print("<ul>\n");
menu_entry($file, "News", "index.php3");
menu_entry($file, "About", "about.php3");
menu_entry($file, "Download &amp; CVS", "download.php3");
menu_entry($file, "Docs", "doc.php3");
menu_entry($file, "FAQ", "faq.php3");
menu_entry($file, "Mailing lists", "mail.php3");
menu_entry($file, "IRC", "irc.php3");
menu_entry($file, "Contribute", "contribute.php3");
menu_entry($file, "Bugs", "bugs.php3");
menu_entry($file, "Links", "links.php3");
menu_entry($file, "Credits", "credits.php3");
print("</ul>\n");
div("badges");
href("http://validator.w3.org/check/referer");
img("http://www.w3.org/Icons/valid-xhtml10", "Valid XHTML 1.0!", 88, 31);
endhref("http://validator.w3.org/check/referer");
br();
href("http://jigsaw.w3.org/css-validator/check/referer");
img("http://jigsaw.w3.org/css-validator/images/vcss", "Valid CSS!", 88, 31);
endhref("http://jigsaw.w3.org/css-validator/check/referer");
enddiv("badges");
enddiv("pinmenu");
div("page");
}
function news($date, $head, $body) {
print("<h2><span class=\"newsdate\">$date</span>");
print("<span class=\"newshead\">$head</span></h2>\n");
print("<p><span class=\"newsbody\">$body</span></p>\n");
}
?>