WooCommerce：すべてのカテゴリをリスト

WordPressでWooCommerceプラグインを使用しています。私のテーマ内で、PHPのナビゲーションメニュー内のすべてのカテゴリを一覧表示したいと思います。

私は使ってみました woocommerce_product_categories();

しかし、画像やその他のHTML要素は必要ありません。それらの名前（およびおそらくパーマリンク）だけが必要です。

どうすればそのデータを取得できますか？

そのまったく同じ関数から取得：

// prior to wordpress 4.5.0
$args = array(
    'number'     => $number,
    'orderby'    => $orderby,
    'order'      => $order,
    'hide_empty' => $hide_empty,
    'include'    => $ids
);

$product_categories = get_terms( 'product_cat', $args );

// since wordpress 4.5.0
$args = array(
    'taxonomy'   => "product_cat",
    'number'     => $number,
    'orderby'    => $orderby,
    'order'      => $order,
    'hide_empty' => $hide_empty,
    'include'    => $ids
);
$product_categories = get_terms($args);

製品カテゴリのリストが表示されます。簡単！