Merge pull request #1319 from MrPetovan/bug/deprecated
authorPhilipp <admin@philipp.info>
Fri, 25 Nov 2022 22:32:50 +0000 (23:32 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Nov 2022 22:32:50 +0000 (23:32 +0100)
[various] Address a couple of PHP8.1 deprecation notices


Trivial merge