Definition of "extra-time"

extra-time