Añadir un buscador de productos en Woocommerce

Si la funcionalidad que te ofrece este plugin te va ha ser útil en tu proyecto puedes descargarlo ahora.