Translations:Extension:GoToShell/4/en

By default, shell is reserved for bureaucrats only, but you can change $GroupPermissions so that other deserving users can go to shell too.