/**
* Link empty menu cart to WooCommerce Cart page - added by WPPS
*/
add_filter('wpmenucart_emptyurl', 'wpmenucart_emptyurl' );
add_filter('wpmenucart_emptytitle', 'wpmenucart_emptytitle' );
function wpmenucart_emptyurl ($empty_url) {
    global $woocommerce;
    $cart_url = $woocommerce->cart->get_cart_url();
    return $cart_url;
}
function wpmenucart_emptytitle ($title) {
    $title = __('View your shopping cart', 'wpmenucart');
    return $title;
}