Snippet for rename default WordPress / WooCommerce role name

woo_rename_customer_role.php

/**
 * @snippet       WooCommerce Rename Customer Role Name
 * @how-to        https://woohacks.github.io/
 * @author        Nick Mkrtchyan
 * @compatible    WooCommerce 5.0
 */
function change_role_name() {
    global $wp_roles;
    if ( ! isset( $wp_roles ) )
        $wp_roles = new WP_Roles();
    $wp_roles->roles['customer']['name'] = 'Student';
    $wp_roles->role_names['customer'] = 'Student';
}
add_action('init', 'change_role_name');