I think the girl was about 7 when the incident occurred. Those weren't from toys of course, nobody seemed to know where they had come from.
Leaving aside the merits or otherwise of having these magnets in toys at all, I still don't think manufacturers can be held responsible for kids who frankly are old enough to know better. With toddlers it's different but, as WeWhizzYouAMerryXmas said, many other everyday things are also dangerous for little tots. It's a case of being vigilant as a parent.