community/php8: upgrade to 8.0.19
To be merged on 12 May 2022
- https://externals.io/message/117643
- https://github.com/php/php-src/blob/PHP-8.0.19/NEWS#L3 -https://www.php.net/archive/2022.php#2022-05-12-1
Related 8.1 !33884 (merged)
To be merged on 12 May 2022
Related 8.1 !33884 (merged)