Custom Currency

I’d like to know in what file php i need past the code

function hotelier_custom_currency( $currencies ) { $currencies[ ‘IDR’ ] = ‘South African Rand’; return $currencies; } add_filter( ‘hotelier_currencies’, ‘hotelier_custom_currency’ ); function hotelier_custom_currency_symbol( $currency_symbol ) { $currency_symbol = ‘R’; return $currency_symbol; } add_filter( ‘hotelier_currency_symbol’, ‘hotelier_custom_currency_symbol’ );

to have a custom currency

Thank you

The page I need help with: [log in to see the link]