[PRQ#61652] Deletion Request for php71-redis

el_aur [1] filed a deletion request for php71-redis [2]: Remove pls as parent package php71 was wiped [1] https://aur.archlinux.org/account/el_aur/ [2] https://aur.archlinux.org/pkgbase/php71-redis/