<navigation>
  <page key="default" file="settings.php" access="admin" />
  <page key="api_hosts" file="api_hosts.php" access="admin" />
  <page key="themes" file="themes.php" access="admin" />
</navigation>
