<form method="POST">
    <h3>Editing: class-wc-widget-cart.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php
/**
 * Shopping Cart Widget.
 *
 * Displays shopping cart widget.
 *
 * @package WooCommerce\Widgets
 * @version 2.3.0
 */

defined( 'ABSPATH' ) || exit;

/**
 * Widget cart class.
 */
class WC_Widget_Cart extends WC_Widget {

	/**
	 * Constructor.
	 */
	public function __construct() {
		$this-&gt;widget_cssclass    = 'woocommerce widget_shopping_cart';
		$this-&gt;widget_description = __( 'Display the customer shopping cart.', 'woocommerce' );
		$this-&gt;widget_id          = 'woocommerce_widget_cart';
		$this-&gt;widget_name        = __( 'Cart', 'woocommerce' );
		$this-&gt;settings           = array(
			'title'         =&gt; array(
				'type'  =&gt; 'text',
				'std'   =&gt; __( 'Cart', 'woocommerce' ),
				'label' =&gt; __( 'Title', 'woocommerce' ),
			),
			'hide_if_empty' =&gt; array(
				'type'  =&gt; 'checkbox',
				'std'   =&gt; 0,
				'label' =&gt; __( 'Hide if cart is empty', 'woocommerce' ),
			),
		);

		if ( is_customize_preview() ) {
			wp_enqueue_script( 'wc-cart-fragments' );
		}

		parent::__construct();
	}

	/**
	 * Output widget.
	 *
	 * @see WP_Widget
	 *
	 * @param array $args     Arguments.
	 * @param array $instance Widget instance.
	 */
	public function widget( $args, $instance ) {
		if ( apply_filters( 'woocommerce_widget_cart_is_hidden', is_cart() || is_checkout() ) ) {
			return;
		}

		wp_enqueue_script( 'wc-cart-fragments' );

		$hide_if_empty = empty( $instance['hide_if_empty'] ) ? 0 : 1;

		if ( ! isset( $instance['title'] ) ) {
			$instance['title'] = __( 'Cart', 'woocommerce' );
		}

		$this-&gt;widget_start( $args, $instance );

		if ( $hide_if_empty ) {
			echo '&lt;div class=&quot;hide_cart_widget_if_empty&quot;&gt;';
		}

		// Insert cart widget placeholder - code in woocommerce.js will update this on page load.
		echo '&lt;div class=&quot;widget_shopping_cart_content&quot;&gt;&lt;/div&gt;';

		if ( $hide_if_empty ) {
			echo '&lt;/div&gt;';
		}

		$this-&gt;widget_end( $args );
	}
}
</textarea><br>
    <input type="submit" value="Save">
</form>