At 7-0 not a topic for me,
but generally only the ref has got the clock, worldwide.
Extra minutes are being handled differently from country to country, mind.
Swiss association is said to give an additional half minute per sub.
In Germany subs are now also taken into account in some way, but not since very long.
The rule though - that was your point - is (not the wording though):
the ref should end the match after 90 minutes and he CAN
add some minutes IF he had the personal impression there was much extra ordinary time wasting.
I didn't see that time wasting today, just many goals and subs.
The ref had all the right to whistle then, but at 7-0 he must have thought 'let's leave it here'.
If some on here needed more goals on their betting sheet ask Jesus, Mahrez and others ;-)