mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)
--- a/mod_vjud/mod_vjud.lua Sat Mar 19 09:10:25 2022 +0000
+++ b/mod_vjud/mod_vjud.lua Sat Mar 19 17:52:33 2022 +0000
@@ -184,7 +184,7 @@
end
local adhoc_new = module:require "adhoc".new;
- local adhoc_vjudsetup = adhoc_new("Search settings", "vjudsetup", opt_in_handler);--, "self");-- and nil);
+ local adhoc_vjudsetup = adhoc_new("Search settings", "vjudsetup", opt_in_handler, "any");--, "self");-- and nil);
module:depends"adhoc";
module:provides("adhoc", adhoc_vjudsetup);