update admin users gui (#1339)
commitf58192733ed454d87c1436c2682b56bcf87603b7
authorBrady Miller <brady.g.miller@gmail.com>
Fri, 29 Dec 2017 17:56:59 +0000 (29 09:56 -0800)
committerGitHub <noreply@github.com>
Fri, 29 Dec 2017 17:56:59 +0000 (29 09:56 -0800)
treec12c99d4fb3c09359f91a639edce9b789578a175
parent4c38f9539eb41801b259d2550f1128047a922f1a
update admin users gui (#1339)
interface/usergroup/user_admin.php
interface/usergroup/usergroup_admin.php
interface/usergroup/usergroup_admin_add.php
library/menu/src/MainMenuRole.php