Deactivate PHP_Analyzer; activate HHVM