Merge pull request #4763 from WoltLab/user-profile-buttons
authorAlexander Ebert <ebert@woltlab.com>
Fri, 29 Apr 2022 11:18:14 +0000 (13:18 +0200)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 11:18:14 +0000 (13:18 +0200)
Overhauled user profile buttons


Trivial merge