I've gone ahead and removed the package that provided PHP 5.2.
Upstream dropped support for it at the beginning of the current year, so
I also didn't upload it to the AUR.
If anyone was still on PHP 5.2, please upgrade to 5.3 using the packages
in [extra]. :)