<?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 }