it was a musical. kinda like broadway but not as professional, it’s called panto and mainly for children. they do these musicals every holiday season i believe with a different movie theme every year. in 2018 i know they did the wizard of oz, but it’s always like a different take on the story and made to be around christmas time.