Merge pull request #12249 from MrPetovan/bug/deprecated
authorPhilipp <admin+Github@philipp.info>
Fri, 25 Nov 2022 22:32:32 +0000 (23:32 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Nov 2022 22:32:32 +0000 (23:32 +0100)
Address several PHP 8.1 deprecation notices


Trivial merge