[PRQ#61693] Deletion Request for php71-igbinary

MarsSeed [1] filed a deletion request for php71-igbinary [2]: Unneeded, dead legacy build. Parent package php71 has been removed as per maintainer's request (PRQ#61542; 26 Jul 2024). [a] [a]: https://lists.archlinux.org/archives/search?mlist=aur- requests%40lists.archlinux.org&q=PRQ%2361542 [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/php71-igbinary/