Merge pull request #19497 from mhei/php8-ext-sodium
authorMichael Heimpold <redacted>
Mon, 3 Oct 2022 08:01:15 +0000 (10:01 +0200)
committerGitHub <redacted>
Mon, 3 Oct 2022 08:01:15 +0000 (10:01 +0200)
php8: php8-pecl-sodium with php8-mod-sodium (refs #18997)


Trivial merge
git clone https://git.99rst.org/PROJECT