Merge Greg's branch into the master branch #230

Merged
greg6775 merged 39 commits from greg-dev into master 2019-12-21 18:14:56 +01:00
Showing only changes of commit cc710b406d - Show all commits

View file

@ -56,7 +56,7 @@ public enum Perm {
return event.getMember().hasPermission(Permission.NICKNAME_CHANGE); return event.getMember().hasPermission(Permission.NICKNAME_CHANGE);
} }
}, },
ADMIN_PERMISSIONS { ADMINISTRATOR {
@Override @Override
public boolean check(CommandEvent event) { public boolean check(CommandEvent event) {
return event.getMember().hasPermission(Permission.ADMINISTRATOR); return event.getMember().hasPermission(Permission.ADMINISTRATOR);