Is Facebook’s HHVM Building PHP’s Coffin?