Widgets clock uses ManiaScript for player count