[PRQ#46709] Merge Request for pecl-propro

MarsSeed [1] filed a request to merge pecl-propro [2] into php-propro [3]: The two packages are for the same PHP module. The latter's name aligns with Arch Wiki's PHP package guidelines. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/pecl-propro/ [3] https://aur.archlinux.org/pkgbase/php-propro/