Какое изменение в футбольных правилах ввели после того, как в 1878 г. один из матчей довелось судить полисмену?