Change Woocommerce description tab title to product name

woo_change_tab_titel_desc.php

<?php 
// This wil cheange the title (Description) of the description tab to product name 
add_filter( 'woocommerce_product_tabs', 'eid_change_product_description_tab_title', 10, 1 );
function eid_change_product_description_tab_title( $tabs ) {
  global $post;
	if ( isset( $tabs['description']['title'] ) )
		$tabs['description']['title'] = $post->post_title;
	return $tabs;
}