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