Question: do pedestrian buttons do anything?
Answer: But many of the traffic lights on the roads that feed into the junction use timers to manage pedestrians. Generally, pushing those button during the day does nothing at all – the lights will change when they are set to. But at night time, pushing them really does interrupt the light-switching pattern.