[PRQ#65656] Orphan Request for php80-redis

[notify]

MarsSeed [1] filed an orphan request for php80-redis [2]:

Flagged out-of-date (2023-10-01).

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/php80-redis/