On the page /admin/roles/define.php?action=edit&roleid=1 (this is for the manager role but applies to any other role, too) changed settings cannot be saved.

After I click the "save changes" button, I get the error "invalid role short name" next to an empty text input field for the role short name. Other changes are also not saved.