Make WooCommerce product tags sortable with drag and drop

<?php
// Makes Woo product tags sortable with drag-and-drop, like product categories and attributes
// The custom sort order can be used in facets that are using product tags as data source and have "Term order" in their "Sort by" setting.

add_filter('woocommerce_sortable_taxonomies', function($taxonomies) {
  $taxonomies[] = 'product_tag';
  return $taxonomies;
});