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