Adds a checkbox to turn a WordPress Gallery into a rotator