Merge pull request #3947 from dregad/php8_deprecated
commit565c020e94bebd6411d3fde52b3a4432cc8b13df
authorAndreas Gohr <andi@splitbrain.org>
Wed, 26 Apr 2023 17:04:11 +0000 (26 19:04 +0200)
committerGitHub <noreply@github.com>
Wed, 26 Apr 2023 17:04:11 +0000 (26 19:04 +0200)
tree1d1c7ecae7823727abe013b6acbc813aff5e9f6a
parentef90f5ee8a34a3df28c61296c99b08b26de6b10b
parentebba5e5de95eaa1b96ed300126060c0be9fe7603
Merge pull request #3947 from dregad/php8_deprecated

Fix PHP 8 deprecated warnings