WooCommerce: come modificare il get_price_html

Question

Sto cercando di modificare il valore del prezzo per un singolo prodotto.

In single-product/price.php c'è una chiamata modello a $product->get_price_html. Come posso modificare quella funzione/metodo per modificare il modo in cui viene presentato l'HTML?

Al momento anche se elimino tutti i contenuti della funzione situata in class-wc-product Viene ancora miracolosamente? Qualcuno sa perché?