1 files changed, 0 insertions, 26 deletions
diff --git a/vendor/smarty/smarty/libs/plugins/modifier.number_format.php b/vendor/smarty/smarty/libs/plugins/modifier.number_format.php
deleted file mode 100644
index 8c612601f..000000000
--- a/vendor/smarty/smarty/libs/plugins/modifier.number_format.php
+++ /dev/null
@@ -1,26 +0,0 @@
-<?php
-/**
- * Smarty plugin
- *
- * @package    Smarty
- * @subpackage PluginsModifier
- */
-
-/**
- * Smarty number_format modifier plugin
- * Type:     modifier
- * Name:     number_format
- * Purpose:  Format a number with grouped thousands
- *
- * @param float|null  $num
- * @param int         $decimals
- * @param string|null $decimal_separator
- * @param string|null $thousands_separator
- *
- * @return string
- */
-function smarty_modifier_number_format(?float $num, int $decimals = 0, ?string $decimal_separator = ".", ?string $thousands_separator = ",")
-{
-    // provide $num default to prevent deprecation errors in PHP >=8.1
-    return number_format($num ?? 0.0, $decimals, $decimal_separator, $thousands_separator);
-}