Merge pull request #4112 from WoltLab/user-option-title
authorAlexander Ebert <ebert@woltlab.com>
Mon, 12 Apr 2021 10:05:22 +0000 (12:05 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Apr 2021 10:05:22 +0000 (12:05 +0200)
Use UserOption::getTitle() where possible


Trivial merge