PHP with an Opcode Cache