It isn't currently being used at WDW thankfully, but it's a park song nonetheless, which is "It's a Good Time" from not just the infamous Mix Magic show, but also from the old Move It Shake It street party and the pandemic era Mickey cavalcade before 10/1/21
The reason why I hate this song a lot is because it's more annoying than catchy, it manage to continue playing at the parks and Disney Cruise ships way past Mickey's 90th, especially with Mix Magic as it just insults me that the only non-Disney Jr Television Animation IP they use everywhere is the Paul Rudish produced Mickey shorts(especially with this nighttime show, I defend these humorous shorts and MMRR is a great ride), and it's also disgusting that they can't use any of the other non-Disney Jr Television Animation characters in the parks not based on existing IPs and characters like Luz Noceda, Cricket Green, Molly McGee, or Dipper & Mabel Pines, etc., even if they all have their fans, and lastly it's an overrated song.
It's a Good Time is trash