It would appear that she does ...
[You must be registered and logged in to see this link.]Pet Travel
Cats, Dogs or Ferrets into or out of Ireland:
Pet Cats, dogs or ferrets accompanied by their owner - Non-commercial movement
Cats, dogs or ferrets to/from other Member states of the EU.
Persons travelling on holiday or to permanently locate their residence (or other non-commercial movement where there is no sale or change of ownership involved) to/ from Ireland to/from another EU Member States may bring their pet cat, dog, or ferret with them provided the following conditions are met:
The pet must be identified by a microchip* (a transponder readable by a device compatible with ISO standard 11785);
The animal must be accompanied by an EU Pet Passport* in respect of the animal which demonstrates that the animal is currently immunized against rabies and in cases where a dog is being brought in from countries other than Finland, Malta or the UK, that it has been treated against Echinococcus multilocularis (tapeworm) not more than 120 hours (5 days) and not less than 24 hours (1 day) prior to scheduled arrival time in Ireland;
In cases where the number of animals being moved exceeds 5, a veterinary health certificate to demonstrate that the animals have been clinically examined within 48 hours of departure is also required unless the owner can show proof that the animals are being brought to compete in a sporting event or other competition.
Cats, dogs or ferrets from other Member States of the EU may enter Ireland through any port/airport of entry and may be transported by any airline or ferry company operating within the State that is willing to transport such animals. The Operator of such airline/ ferry company is legally obliged under the Pet Passport (No2) Regulations 2014 to notify the arrival of the animals to the Department of Agriculture, Food and the Marine by email at least 24 hours in advance to
[You must be registered and logged in to see this link.]As regards air travel, the Department does not require that pets from the EU be carried as manifested freight and it is therefore a matter for the airlines to decide whether to carry the animal in the cabin or as excess baggage. The following airlines/ferry companies have indicated that they will carry pets to/from Ireland within the EU.
[You must be registered and logged in to see this link.]