Rename SKU

//Rename SKU
function translate_woocommerce($translation, $text, $domain)
{
    if ($domain == 'woocommerce')
    {
        switch ($text)
        {
            case 'SKU':
                $translation = 'Product Code';
            break;
            case 'SKU:':
                $translation = 'Product Code:';
            break;
        }
    }
    return $translation;
}
add_filter('gettext', 'translate_woocommerce', 10, 3);