They use Perl for their backend data-processing and batch work. The PHP stuff is just for stitching together a bunch of include files at request time, and it's replacing an in-house system written in C.