Editing: IntlFormatterInterface.php