Hi all, 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]. :) Cheers.
