comparison mod_vjud/mod_vjud.lua @ 4910:5dffb85e62c4

mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)
author Matthew Wild <mwild1@gmail.com>
date Sat, 19 Mar 2022 17:52:33 +0000
parents a90c7d7e7413
children
comparison
equal deleted inserted replaced
4909:6ce42aacad42 4910:5dffb85e62c4
182 form = { layout = opt_in_layout, values = { searchable = opted_in[username] } } }, true; 182 form = { layout = opt_in_layout, values = { searchable = opted_in[username] } } }, true;
183 end 183 end
184 end 184 end
185 185
186 local adhoc_new = module:require "adhoc".new; 186 local adhoc_new = module:require "adhoc".new;
187 local adhoc_vjudsetup = adhoc_new("Search settings", "vjudsetup", opt_in_handler);--, "self");-- and nil); 187 local adhoc_vjudsetup = adhoc_new("Search settings", "vjudsetup", opt_in_handler, "any");--, "self");-- and nil);
188 module:depends"adhoc"; 188 module:depends"adhoc";
189 module:provides("adhoc", adhoc_vjudsetup); 189 module:provides("adhoc", adhoc_vjudsetup);
190 190
191 end 191 end