[PRQ#52727] Deletion Request for muximux

MarsSeed [1] filed a deletion request for muximux [2]: Broken, abandoned package from 2017, incompatible with PHP 7.2+ and 8+. Last upstream release was in 2017. [a] [a]: https://github.com/mescon/Muximux/tags [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/muximux/