File

plugins/mod_unknown.lua @ 12991:6d7e3d5463d8

mod_admin_shell: Simplify user creation when no role given Idea here is to prevent a user from being created with the default role if a different role was given, but that dance wouldn't be needed if no role is provided.
author Kim Alvefur <zash@zash.se>
date Sun, 26 Mar 2023 16:45:23 +0200
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