Football history was made on Saturday when a white card was brandished for the first time  in a professional game in Portugal.