Function updateVideoFormatTimer

src/bzflag/guiplaying.cpp:5635–5644

void updateVideoFormatTimer(const float dt) {
  // update test video format timer
  if (testVideoFormatTimer > 0.0f) {
    testVideoFormatTimer -= dt;
    if (testVideoFormatTimer <= 0.0f) {
      testVideoFormatTimer = 0.0f;
      setVideoFormat(testVideoPrevFormat);
    }
  }
}