WooCommerce change currency symbol
<?php
add_filter('woocommerce_currency_symbol', 'change_denmark_existing_currency_symbol', 10, 2);
function change_denmark_existing_currency_symbol( $currency_symbol, $currency ) {
switch( $currency ) {
case 'DKK' : $currency_symbol = 'DKK'; break;
}
return $currency_symbol;
}
?>