Renaming Commands#
Every command name below is the default. All of them are editable in Settings → Commands, so a server that already uses a name can change it without touching a file.
Player Commands#
Anyone can type these, but each one checks the right thing — you must be inside your own arcade, or hold the right the action needs.


