Girl injured in Dublin knife attack leaves hospital

A five-year-old girl who was seriously hurt in a knife attack in Dublin in November has left hospital.