Problem : WooCommerce_Widget_Cart(); not found

Solution : Do a search for WooCommerce_Widget_Cart(); and change that to WC_Widget_Cart();. Save. Worked like a charm for me.