Merge pull request #13252 from toddy15/woodpecker
authorHypolite Petovan <hypolite@mrpetovan.com>
Wed, 5 Jul 2023 19:06:18 +0000 (15:06 -0400)
committerGitHub <noreply@github.com>
Wed, 5 Jul 2023 19:06:18 +0000 (15:06 -0400)
Update PHP versions and add PHP 8.2 for testing


Trivial merge