<?php
PagerWidget::header();
?>
<div id="sidebar">
<h1 class="logo"><a href="<?php
echo manager_site_url('overview', 'index');
?>
"><?php
echo $project_name;
?>
</a></h1>
<p>
<select id="server">
<?php
foreach ($server_list as $i => $srv) {
?>
<option value="<?php
echo $i;
?>
" <?php
echo SERVER_ID == $i ? 'selected="selected"' : '';
?>
>
<?php
echo isset($srv['name']) ? format_html($srv['name']) : $srv['host'] . ':' . $srv['port'];
?>
</option>
<?php
}
