Fix typo in hhvm php.ini update