WordPress: creare un link personalizzato al carrello di WooCommerce

In WordPress possiamo creare un link personalizzato al carrello di WooCommerce.

La soluzione è la seguente:

<?php global $woocommerce; ?>
<header id="site-header">
<div id="top-cart">
    <span id="top-cart-total"><?php echo $woocommerce->cart->get_cart_subtotal(); ?></span>
    <a href="<?php echo $woocommerce->cart->get_cart_url(); ?>" id="top-cart-link">
      <span><?php echo $woocommerce->cart->cart_contents_count; ?></span>
    </a>
</div>
</header>