Please describe your aim: what are you changing and what result do you want to get. Provide your actions in more details, also where do you modify the file?
When I make changes to the woocommerce/cart/mini-cart.php file, nothing changes on the front end. For example, if I replace the word ‘Subtotal’ from the code below, the page still says ‘Subtotal’:
I don’t want to translate or just change words. I want to make changes to the mini cart and have those changes reflect on the front end. Am I editing the correct file?
Also, is there a way to enable and disable the mini cart?
1) Yes, you are editing the correct file, but after file changes, you need to add the product to the cart again to update the cart widget from the cache.
2) Sorry, but there is no such option in our theme.