Estoy usando el complemento WooCommerce con WordPress y dentro de mi tema, me gustaría enumerar todas las categorías dentro de un menú de navegación con PHP.
He intentado usar woocommerce_product_categories();
pero no quiero las imágenes u otros elementos HTML, solo sus nombres (y quizás los enlaces permanentes).
¿Cómo puedo obtener esos datos?