function response_header($title = 'The PHP Extension Community Library', $style = false)
{
global $_style, $_header_done, $SIDEBAR_DATA, $extra_styles, $auth_user;
if ($_header_done) {
return;
}
$_header_done = true;
$_style = $style;
$rts = rtrim($SIDEBAR_DATA);
if (substr($rts, -1) == '-') {
$SIDEBAR_DATA = substr($rts, 0, -1);
} else {
global $main_menu, $docu_menu, $downloads_menu;
$SIDEBAR_DATA .= draw_navigation($main_menu);
$SIDEBAR_DATA .= draw_navigation($docu_menu, 'Documentation:');
$SIDEBAR_DATA .= draw_navigation($downloads_menu, 'Downloads:');
if (!$GLOBALS['_NODB']) {
init_auth_user();
} else {
$auth_user = null;
}
if (is_logged_in()) {
global $developer_menu;
$SIDEBAR_DATA .= draw_navigation($developer_menu, 'Developers:');
if (auth_check(true)) {
global $admin_menu;
$SIDEBAR_DATA .= draw_navigation($admin_menu, 'Administrators:');
}
}
}
echo '<?xml version="1.0" encoding="ISO-8859-1" ?>';
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head>
<title>PECL :: <?php
echo $title;
?>
</title>
<link rel="shortcut icon" href="/gifs/pecl-favicon.ico" />
<link rel="stylesheet" href="/css/style.css" />
<?php
foreach ($extra_styles as $style_file) {
echo ' <link rel="stylesheet" href="' . $style_file . "\" />\n";
}
?>
<link rel="alternate" type="application/rss+xml" title="RSS feed" href="http://<?php
echo $_SERVER['HTTP_HOST'];
?>
/feeds/latest.rss" />
</head>
<body <?php
if (!empty($GLOBALS['ONLOAD'])) {
print "onload=\"" . $GLOBALS['ONLOAD'] . "\"";
}
?>
>
<div>
<a id="TOP"></a>
</div>
<!-- START HEADER -->
<table class="head" cellspacing="0" cellpadding="0" width="100%">
<tr>
<td class="head-logo">
<?php
print_link('/', make_image('peclsmall.gif', 'PECL :: The PHP Extension Community Library', false, false, false, false, 'margin: 5px;'));
?>
<br />
</td>
<td class="head-menu">
<?php
if (empty($auth_user)) {
print_link('/login.php', 'Login', false, 'class="menuBlack"');
} else {
print '<small class="menuWhite">';
print 'Logged in as ' . strtoupper($auth_user->handle) . ' (';
print '<a class="menuWhite" href="/user/' . $auth_user->handle . '">Info</a> | ';
print '<a class="menuWhite" href="/account-edit.php?handle=' . $auth_user->handle . '">Profile</a> | ';
print '<a class="menuWhite" href="https://bugs.php.net/search.php?cmd=display&status=Open&assign=' . $auth_user->handle . '">Bugs</a>';
print ")</small><br />\n";
print_link('/?logout=1', 'Logout', false, 'class="menuBlack"');
}
echo delim();
print_link('/packages.php', 'Packages', false, 'class="menuBlack"');
echo delim();
print_link('/support.php', 'Support', false, 'class="menuBlack"');
echo delim();
print_link('/bugs/', 'Bugs', false, 'class="menuBlack"');
?>
<br />
<?php
spacer(2, 2);
?>
<br />
</td>
</tr>
<tr>
<td class="head-search" colspan="2">
<form method="post" action="/search.php">
<p class="head-search"><span class="accesskey">S</span>earch for
<input class="small" type="text" name="search_string" value="" size="20" accesskey="s" />
in the
<select name="search_in" class="small">
<option value="packages">Packages</option>
<option value="site">This site (using Google)</option>
<option value="developers">Developers</option>
<option value="pecl-dev">Developer mailing list</option>
<option value="pecl-cvs">SVN commits mailing list</option>
</select>
<input type="image" src="/gifs/small_submit_white.gif" alt="search" style="vertical-align: middle;" /> <br />
</p>
</form>
</td>
</tr>
</table>
<!-- END HEADER -->
<!-- START MIDDLE -->
<table class="middle" cellspacing="0" cellpadding="0">
<tr>
<?php
if (isset($SIDEBAR_DATA)) {
?>
<!-- START LEFT SIDEBAR -->
<td class="sidebar_left">
<?php
echo $SIDEBAR_DATA;
?>
</td>
<!-- END LEFT SIDEBAR -->
<?php
}
?>
<!-- START MAIN CONTENT -->
<td class="content">
<?php
}
/**
* Prints out the XHTML headers and top of the page.
*
* @param string $title A string to go into the header's <title>
* @param string $style -Unused- Sets global $_style variable
* @param string $extraHeaders Additional HTML head tags
* @param string $head <head> tag attributes
*
* @return void
*/
function response_header($title = 'The PHP Extension and Application Repository', $style = false, $extraHeaders = '', $head = '')
{
global $_style, $_header_done, $self, $auth_user, $RSIDEBAR_DATA, $in_manual;
$extra_styles = extra_styles();
if ($_header_done) {
return;
}
$_header_done = true;
$_style = $style;
$rts = rtrim($RSIDEBAR_DATA);
if (substr($rts, -1) == '-') {
$RSIDEBAR_DATA = substr($rts, 0, -1);
} else {
$menu = draw_navigation();
}
if ($in_manual === false) {
// The manual-related code takes care of sending the right headers.
header('Content-Type: text/html; charset=UTF-8');
}
?>
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head <?php
echo $head;
?>
>
<?php
echo $extraHeaders;
?>
<title><?php
echo $title;
?>
</title>
<link rel="shortcut icon" href="/gifs/favicon.ico" />
<link rel="stylesheet" type="text/css" href="/css/reset-fonts.css" />
<link rel="stylesheet" type="text/css" href="/css/style.css" />
<?php
foreach ($extra_styles as $style_file) {
echo ' <link rel="stylesheet" type="text/css" href="' . $style_file . "\" />\n";
}
?>
<!--[if IE 7]><link rel="stylesheet" type="text/css" href="/css/IE7styles.css" /><![endif]-->
<!--[if IE 6]><link rel="stylesheet" type="text/css" href="/css/IE6styles.css" /><![endif]-->
<link rel="stylesheet" type="text/css" href="/css/print.css" media="print" />
<link rel="alternate" type="application/rss+xml" title="RSS feed" href="http://<?php
echo PEAR_CHANNELNAME;
?>
/feeds/latest.rss" />
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.3.2/jquery.min.js"></script>
<script type="text/javascript" src="/javascript/jquery-dtpicker/jquery.dtpicker.min.js"></script>
<link rel="stylesheet" type="text/css" href="/javascript/jquery-dtpicker/jquery.dtpicker.css" />
<!-- compliance patch for microsoft browsers -->
<!--[if lt IE 8]>
<script type="text/javascript" src="/javascript/IE8.js"></script>
<![endif]-->
<link rel="search" type="application/opensearchdescription+xml" title="PEAR Search Plugin" href="http://pear.php.net/osd.xml" />
</head>
<body>
<div>
<a id="TOP"></a>
</div>
<div id="doc3">
<!-- START HEADER -->
<div id="user">
<ul>
<?php
if (!$auth_user) {
echo ' <li>' . make_link('/account-request.php', 'Register') . '</li>' . "\n";
echo ' <li class="last">';
if (@$_SERVER['QUERY_STRING'] && @$_SERVER['QUERY_STRING'] != 'logout=1') {
$qs = @$_SERVER['QUERY_STRING'];
echo make_link('/login.php?redirect=' . urlencode("{$self}?{$qs}"), 'Login');
} else {
echo make_link('/login.php?redirect=' . $self, 'Login');
}
echo '</li>' . "\n";
} else {
echo ' <li>logged in as <a href="/user/' . $auth_user->handle . '">' . $auth_user->handle . '</a></li>' . "\n";
echo ' <li><a href="/account-edit.php?handle=' . $auth_user->handle . '">Profile</a></li>' . "\n";
echo ' <li><a href="/bugs/search.php?handle=' . $auth_user->handle . '&cmd=display&status=OpenFeedback&showmenu=1">Bugs</a></li>' . "\n";
echo ' <li><a href="/bugs/search.php?cmd=display' . '&status=All&bug_type=All&author_email=' . $auth_user->handle . '&direction=DESC&order_by=ts1&showmenu=1">My Bugs</a></li> ' . "\n" . ' <li class="last signout">';
$query_string = empty($_SERVER['QUERY_STRING']) ? '' : '&' . htmlspecialchars($_SERVER['QUERY_STRING']);
echo make_link('?logout=1' . $query_string, 'Sign Out');
echo "</li>\n";
}
?>
</ul>
</div>
<div id="search">
<form method="get" action="/search.php">
<p style="margin: 0px;">
<span class="accesskey">S</span>earch for
<input type="text" name="q" value="" size="20" accesskey="s" />
in the
<select name="in">
<option value="packages">Packages</option>
<option value="site">This site (using Yahoo!)</option>
<option value="users">Developers</option>
<option value="pear-dev">Developer mailing list</option>
<option value="pear-general">General mailing list</option>
<option value="pear-cvs">SVN commits mailing list</option>
</select>
<input type="image" src="/gifs/small_submit_white.gif" alt="search" style="vertical-align: middle;" />
</p>
</form>
</div>
<div id="header">
<?php
echo make_link('/', make_image('pearsmall.gif', 'PEAR'));
?>
<br />
</div>
<div id="menubar">
<?php
echo $menu['main'];
?>
</div>
<?php
echo $menu['sub'];
?>
<!-- END HEADER -->
<!-- START MIDDLE -->
<?php
$style = '';
if (isset($RSIDEBAR_DATA)) {
$style = ' style="margin-right: 230px;"';
?>
<!-- START RIGHT SIDEBAR -->
<div class="sidebar_right">
<?php
echo $RSIDEBAR_DATA;
?>
</div>
<!-- END RIGHT SIDEBAR -->
<?php
}
?>
<!-- START MAIN CONTENT -->
<div id="body"<?php
echo $style;
?>
>
<?php
}
