/
header.php
146 lines (135 loc) · 6.14 KB
/
header.php
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
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
<?php $v = "?v=" .$_SERVER["REQUEST_TIME"]; // Disable caching, annoying while developing ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo $MY_LANG?>" lang="<?php echo $MY_LANG?>">
<head>
<title>PHP: <?php echo $title ?></title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<link rel="shortcut icon" href="http://static.php.net/www.php.net/favicon.ico" />
<link rel="search" type="application/opensearchdescription+xml" href="http://www.php.net/phpnetimprovedsearch.src" title="Add PHP.net search" />
<link rel="alternate" type="application/atom+xml" href="http://www.php.net/releases.atom" title="PHP Release feed" />
<link rel="alternate" type="application/atom+xml" title="PHP: Hypertext Preprocessor" href="http://www.php.net/feed.atom" />
<link rel="canonical" href="http://php.net/index.php" />
<link rel="stylesheet" type="text/css" href="/css/reset.css<?php echo $v?>" media="all" />
<link rel="stylesheet" type="text/css" href="/css/structure.css<?php echo $v?>" media="screen" />
<link rel="stylesheet" type="text/css" href="/css/doc.css<?php echo $v?>" media="screen" />
<link rel="stylesheet" type="text/css" href="/css/theme.css<?php echo $v?>" media="screen" />
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js"></script>
<script type="text/javascript" src="/js/jquery.hoverIntent.minified.js"></script>
<script type="text/javascript" src="/js/jquery.autocomplete.js"></script>
<script type="text/javascript" src="/js/common.js<?php echo $v?>"></script>
<base href="<?php echo $_SERVER["BASE_PAGE"] ?>" />
</head>
<body>
<div id="headnav">
<ul id="headmenu">
<li id="headsearch">
<form method="post" action="/search.php" id="topsearch">
<fieldset>
<input type="text" id="headsearch-keywords" name="pattern" value="Search..." size="30" accesskey="s" />
<input type="submit"
value="Go"
id="headsearch-submit"
class="submit" />
</fieldset>
</form>
</li>
<li id="headhome">
<a href="/" rel="home" class="menu-link">Home</a>
</li>
<li>
<a href="/downloads.php" class="menu-link">Downloads</a>
</li>
<li class="parent <?php echo $curr != "docs" ?: "current"?>">
<a href="/docs.php" class="menu-link">Documentation</a>
<div class="children"><div class="children-1"><div class="children-2">
<?php echo doc_toc($MY_LANG); ?>
<br style="clear: both;" />
</div></div></div>
</li>
<li class="parent <?php echo $curr != "community" ?: "current"?>">
<a href="/community.php" class="menu-link">Community</a>
<div class="children"><div class="children-1"><div class="children-2">
<dl style="width: 300px;">
<dt><a href="/conferences/">Conferences</a></dt>
<dd><a href="/conferences/">All upcoming PHP conferences</a></dd>
<dd><a href="/submit-event.php">Add a new conference</a></dd>
<dt><a href="#">News</a></dt>
<dd><a href="#">Recent headline 1 (Oct 6)</a></dd>
<dd><a href="#">Another recent headline 1 (Oct 4)</a></dd>
<dd><a href="#">Yet another headline with a lot of text (Oct 2)</a></dd>
</dl>
<dl>
<dt><a href="http://wiki.php.net/">PHP Wiki</a></dt>
<dd><a href="http://wiki.php.net/rfc">Write a RFC</a></dd>
<dt><a href="#">Get Involved</a></dt>
<dd><a href="#">Report bugs</a></dd>
<dd><a href="#">Contribute code</a></dd>
<dd><a href="#">Organize an event</a></dd>
<dd><a href="#">Write documentation</a></dd>
<dd><a href="#">Test PHP</a></dd>
</dl>
<dl>
<dt><a href="/mailing-lists.php">Mailing lists</a></dt>
<dt><a href="/links.php">PHP related sites</a></dt>
<dt><a href="#">About PHP.net</a></dt>
<dd><a href="/sites.php">Other PHP.net sites</a></dd>
<dd><a href="/my.php">My PHP.net</a></dd>
<dd><a href="#">Contribute to the website</a></dd>
<dd><a href="/credits.php">Who's behind this?</a></dd>
<dd><a href="/contact.php">Contact us</a></dd>
<dd><a href="/mirrors.php">Mirror sites</a></dd>
</dl>
<br style="clear: both;" />
</div></div></div>
</li>
<li class="parent <?php echo $curr != "help" ?: "current"?>">
<a href="/support.php" class="menu-link">Help</a>
<div class="children"><div class="children-1"><div class="children-2">
<dl style="width: 250px;">
<dt><a href="#">Navigation tips</a></dt>
<dd><a href="/sidebars.php">Search sidebars</a></dd>
<dd><a href="/urlhowto.php">URL Howto</a></dd>
<dd><a href="/tips.php">Quick Reference tips</a></dd>
<dd><a href="/sites.php">Other PHP sites</a></dd>
</dl>
<dl style="width: 250px;">
<dt><a href="#">Support</a></dt>
<dd><a href="/mailing-lists.php">Mailing lists</a></dd>
<dd><a href="/support.php">General resources</a></dd>
</dl>
<dl style="swidth: 250px";>
<dt><a href="http://bugs.php.net/">Bugs</a></dt>
<dd><a href="http://bugs.php.net/report.php">Report a bug</a></dd>
<dd><a href="http://bugs.php.net/how-to-report.php">How to file a bug report</a></dd>
<dd><a href="http://bugs.php.net/search.php">Search reported bugs</a></dd>
</dl>
<br style="clear: both;" />
</div></div></div>
</li>
</ul>
<br style="clear: both;" />
</div>
<div id="layout">
<?php
if (!empty($SIDEBAR_DATA)) {
echo '<aside id="leftbar">', "\n$SIDEBAR_DATA\n</aside>\n";
}
if (!empty($config["leftmenu"])) {
echo "<aside class='layout-menu'><ul>";
foreach($config["leftmenu"] as $section) {
echo "<li><a href='{$section["link"]}'>{$section["title"]}</a>\n";
echo "<ul>";
foreach($section["children"] as $item) {
if ($item["current"]) {
echo "<li class='current'><a href='{$item["link"]}'>{$item["title"]}</a></li>\n";
} else {
echo "<li><a href='{$item["link"]}'>{$item["title"]}</a></li>\n";
}
}
echo "</ul>";
echo "</li>";
}
echo "</ul></aside>\n";
}
?>