Mozilla Bug 691792: Change of src attribute for animated gifs no longer works as expected