Fixed bug introduced by 905ecbd849; PHP not interpreted