Interested in attending a Mini in 2020? Minis are typically held on a weekend during April-July. Watch the Mini Christmas Expos forum to receive alerts (and emails) when planning and discussion begins.
It was done by a professional A/V company, who probably used time code and something like a GrandMA 2 console or MagicQ.
Programming like that takes ages. Effects are generated automatically and the exact time for each cue to start is set, then several systems which use time code all stay in sync.
IMHO, our method of sequencing is much, much better. Having a visual timeline really helps. I have been doing lights for a school show, and I actually thought about triggering FPP or LOR from MagicQ PC for some epic lights to music stuff. Instead, I will just have tons and tons of lighting cues and chases.