Add HHVM interpretor into php platform