What pantomime was humpty dumpty in?

Humpty Dumpty is a character in the traditional English pantomime "Humpty Dumpty." It is a popular children's nursery rhyme and also appears in various works of literature and entertainment.