File

core/features.lua @ 12668:5d85de8b0723

mod_admin_shell: Update with new role management commands and help text
author Matthew Wild <mwild1@gmail.com>
date Thu, 18 Aug 2022 16:46:07 +0100
parent 12655:a5a0783e9241
child 12955:d32926897ca4
line wrap: on
line source

local set = require "util.set";

return {
	available = set.new{
		-- mod_bookmarks bundled
		"mod_bookmarks";
		-- Roles, module.may and per-session authz
		"permissions";
	};
};