Update IntlFormatter.php