<navigation>
  <page key="add" file="add_server.php" access="admin" />
  <page key="edit" file="edit_server.php" access="admin" />
  <page key="reboot" file="reboot.php" access="admin" />
  <page key="restart" file="restart.php" access="admin" />
  <page key="default" file="servers.php" access="admin" />
  <page key="log" file="view_log.php" access="admin" />
  <page key="arrange_ports" file="arrange_ports.php" access="admin" />
  <page key="firewall" file="firewall.php" access="admin" />
  <page key="mon_stats" file="mon_stats.php" access="admin" />
</navigation>
