https://allriot.com/wp-content/plugins/woocommerce-multi-currency/js/filter-price.js?ver=2.2.5

1jQuery(document).ready(function ($) {
2    'use strict';
3    /*Fix custom symbol of price range in WooCommerce price filter widget*/
4    $(document.body).on('price_slider_updated', function (event, min, max) {
5        if (woocommerce_price_slider_params.currency_format_symbol.indexOf('#PRICE#') > -1) {
6            $('.price_slider_amount span.from').html(accounting.formatMoney(min, {
7                symbol: woocommerce_price_slider_params.currency_format_symbol.replace('#PRICE#', ''),
8                decimal: woocommerce_price_slider_params.currency_format_decimal_sep,
9                thousand: woocommerce_price_slider_params.currency_format_thousand_sep,
10                precision: woocommerce_price_slider_params.currency_format_num_decimals,
11                format: woocommerce_price_slider_params.currency_format
12            }));
13
14            $('.price_slider_amount span.to').html(accounting.formatMoney(max, {
15                symbol: woocommerce_price_slider_params.currency_format_symbol.replace('#PRICE#', ''),
16                decimal: woocommerce_price_slider_params.currency_format_decimal_sep,
17                thousand: woocommerce_price_slider_params.currency_format_thousand_sep,
18                precision: woocommerce_price_slider_params.currency_format_num_decimals,
19                format: woocommerce_price_slider_params.currency_format
20            }));
21        }
22    })
23});