Kenyan wildlife rangers shot dead a stray male lion in the outskirts of Nairobi after it attacked and injured a local resident, the Kenya Wildlife Service said. A mob had gathered around the lion, forcing the rangers to shoot it to avert further injuries, a spokesman for the agency said.