comaptibility with the “WOOF - WooCommerce Products Filter“ plugin.https://wordpress.org/plugins/woocommerce-products-filter/