Display a Video Instead of the Product Image in WooCommerce

/**
 * Adds a "Video" tab with a video URL field to the Total metabox for WooCommerce
 * products, then replaces the product image/gallery on single product pages with
 * the embedded video when one is set.
 *
 * Falls back to the default product image template if no video is entered or if
 * the URL isn't from a supported oEmbed provider.
 */
add_filter( 'wpex_metabox_array', function( $fields ) {
	$fields['woo_video_tab'] = [
		'title'     => esc_html__( 'Video', 'total-child-theme' ),
		'post_type' => [ 'product' ], // remove this param to display on all post types
		'settings'  => [
			'wpex_post_video' => [
				'title'       => esc_html__( 'Video', 'total-child-theme' ),
				'description' => esc_html__( 'Product video', 'total-child-theme' ),
				'id'          => 'wpex_post_video',
				'type'        => 'text',
			],
		],
	];
	return $fields;
} );

if ( ! function_exists( 'woocommerce_show_product_images' ) ) {
	function woocommerce_show_product_images() {
		$video = get_post_meta( get_the_ID(), 'wpex_post_video', true );

		if ( $video && function_exists( 'wpex_get_post_video_html' ) ) {
			$embed = wpex_get_post_video_html( $video );
		} elseif ( $video ) {
			$embed = wp_oembed_get( esc_url_raw( $video ) );
		} else {
			$embed = '';
		}

		if ( ! $embed ) {
			wc_get_template( 'single-product/product-image.php' );
			return;
		}

		echo '<div class="images">' . $embed . '</div>';
	}
}