minor #3894 fix NumberFormatter::TYPE_CURRENCY being deprecated in …

…PHP 8.3 (mbolli)

This PR was merged into the 3.x branch.

Discussion
----------

fix `NumberFormatter::TYPE_CURRENCY` being deprecated in PHP 8.3

It was never used anyway (by Twig and by PHP), so removing it should not have any side-effects.

Commits
-------

223ba6e fix `NumberFormatter::TYPE_CURRENCY` being deprecated in PHP 8.3

extra/intl-extra/IntlExtension.php

@@ -67,7 +67,6 @@ private static function availableDateFormats(): array
         'int32' => \NumberFormatter::TYPE_INT32,
         'int64' => \NumberFormatter::TYPE_INT64,
         'double' => \NumberFormatter::TYPE_DOUBLE,
-        'currency' => \NumberFormatter::TYPE_CURRENCY,
     ];
     private const NUMBER_STYLES = [
         'decimal' => \NumberFormatter::DECIMAL,