Compiled PHP. I'm pretty sure they ran the numbers.