extra time - English dictionary