eircode-ireland-addresses.php

<?php
/*
Plugin Name: Eircode field for Irish addresses
Plugin URI: http://www.damiencarbery.com
Description: Eircode field for Ireland addresses in WooCommerce.
Author: Damien Carbery
Version: $Revision: $

*/


// Small address field changes for Republic of Ireland (IE) - change 'Postcode' to 'Eircode' and 'State / County' to 'County'
add_filter('woocommerce_get_country_locale', 'nc_change_ireland_address_fields');
function nc_change_ireland_address_fields($locale_fields) {
    $locale_fields['IE']['postcode']['label'] = 'Eircode';  // Was Postcode
    $locale_fields['IE']['state']['label'] = 'County';  // Was 'State / County'
    
    return $locale_fields;
}

Does it still work?