Is the HHVM still in use at Facebook? Or did PHP catch up?