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)
commit7b58c02b1a63d03a2245306bc86c2a5eeef2b990
tree6b8779d3eae5fdeadb71efed2d48c78a9768d737
parent7d252afddbe0ae55187c0666b66acf5c277a2c0d
parentf0baf183395a719c616addaa914fc2a0db656c24
Merge pull request #1319 from MrPetovan/bug/deprecated

[various] Address a couple of PHP8.1 deprecation notices