File

plugins/mod_unknown.lua @ 11898:89aa591bb895

usermanager: Fire user-roles-changed event when updating roles of a local user
author Matthew Wild <mwild1@gmail.com>
date Fri, 12 Nov 2021 13:25:09 +0000
parent 6003:28a90f5fea46
line wrap: on
line source

-- Unknown platform stub
module:set_global();

-- TODO Do things that make sense if we don't know about the platform