replace edd currency symbol with points

replace_cur.php

<?php

if( class_exists( 'Easy_Digital_Downloads' ) ) {

$currency = edd_get_currency(); // get edd base currency

add_filter( 'edd_' . strtolower( $currency ) . '_currency_filter_before', 'edd_cur_change_before_format', 10, 3 );
add_filter( 'edd_' . strtolower( $currency ) . '_currency_filter_after', 'edd_cur_change_after_format', 10, 3 );

  function edd_cur_change_before_format($formatted, $currency, $price) {
    
   return 'points '.$price;
   
  }
  
  function edd_cur_change_after_format($formatted, $currency, $price) {
    
   return $price. ' points';
   
  }
  
}

?>