WooCommerce override mini-cart.php non funziona [chiuso

Question

Sto cercando di sovrascrivere mini-cart.php che è il file modello situato a woocommerce/cart/mini-cart.php. Dovrebbe prevalere sul comportamento del carrello widget WooCommerce ma non funziona. Posso apportare modifiche al file, ma sembra che stia ancora caricando da qualche altro posto e non è sostituito. Ho anche provato a modificare i file di modello di base di WooCommerce ed eliminare mini-cart.php da esso ma il widget funziona ancora. Tuttavia mini-cart.php La struttura sembra esattamente la stessa della struttura HTML generata in finale. Ma sembra che WooCommerce non stia usando questo file, quindi probabilmente è cambiato da alcuni aggiornamenti e mini-cart.php rimane solo dalle versioni successive. Qualche idea su quale file dovrei sovrascrivere per cambiare l'aspetto del carrello widget?

Non voglio sovrascrivere completamente la classe del carrello per widget intero perché voglio solo cambiarne uno <span> a <p>.

Grazie in avanti