# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1660232829 -3600
# Node ID a5a0783e9241210af857f4c0adcc123833f1fdd8
# Parent  f3dbbc7655e6a2b784698abc455b9538ac9239a7
features: Add "permissions" feature for role-auth

diff -r f3dbbc7655e6 -r a5a0783e9241 core/features.lua
--- a/core/features.lua	Mon Aug 01 20:26:00 2022 +0100
+++ b/core/features.lua	Thu Aug 11 16:47:09 2022 +0100
@@ -4,5 +4,7 @@
 	available = set.new{
 		-- mod_bookmarks bundled
 		"mod_bookmarks";
+		-- Roles, module.may and per-session authz
+		"permissions";
 	};
 };