I am trying to override `mini-cart.php` which is template file located at `woocommerce/cart/mini-cart.php`. It should override behaviour of woocommerce widget cart but it isnt working. I can make any changes to the file but it looks like it is still loading from some other place and it is not overriden. I have also tried modifying core template files of woocommerce and deleting mini-cart.php from it but widget is still working. However `mini-cart.php` structure looks exactly the same as html structure generated in final. But it looks like woocommerce isnt using this file so it has probably changed by some update and mini-cart.php is just remain from later versions. Any ideas what file should I override to change look of widget cart?

I dont want to completely override whole core widget cart class because I just want to change one `<span>` to `<p>`.

Thanks in forward