RhymeZone: extra-time definitions

Definitions of extra-time:

noun: Alternative form of extra time [(sports, UK) An additional period played at the end of a game if the score is tied after the standard allocation of time.]

(Definitions from Wiktionary)