<navigation>
  <page key="user_addons" file="user_addons.php" access="admin,user" />
  <page key="addons_manager" file="addons_manager.php" access="admin" />
  <page key="addons" file="addons_installer.php" access="admin,user" />
</navigation>
