I think they used Game Maker Studio
no maybe it gamemaker 6 or 7
It does run on Game Maker Studio actually
