如何更改woocommerce描述标签名称

我不确定是否有一个tab.php文件。从来没有听说过，但是将此片段添加到functions.php文件中，它将起作用。

    //Rename Description
    add_filter('woocommerce_product_description_heading', '__return_false');   
    add_filter( 'woocommerce_product_tabs', 'woo_rename_tabs', 98 );

    function woo_rename_tabs( $tabs ) {

    $tabs['description']['title'] = __( 'Designmerkmale' );     

    return $tabs;
}