Boy attacked in crocodile enclosure is back home

A three-year-old boy who was seriously injured in a zoo's crocodile enclosure has been discharged from hospital and is back at home.