File

core/features.lua @ 12727:31d719ce8c64

mod_admin_shell: Fix display of session without role (thanks Link Mauve) This can happen to sessions before they are assigned a role
author Kim Alvefur <zash@zash.se>
date Fri, 23 Sep 2022 11:58:15 +0200
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";
	};
};