WooCommerce: Rename The Product Description Tabs

add_filter( 'woocommerce_product_tabs', 'giodc_rename_tab', 98);
function giodc_rename_tab($tabs) {
$tabs['description']['title'] = 'Details';
return $tabs;
}