Saudi Arabia has executed a Sri Lankan domestic worker for killing a baby in her care in 2005, a foreign ministry official in Colombo tells the BBC.