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.