Sorry, yes, looked it up : "vehicles may proceed if all pedestrians using the crossing have finished crossing the road. If pedestrians who have already started crossing have not finished doing so, drivers should wait for them to reach the other side before moving, even if this requires them to wait after the lights have turned green."
Sorry, yes, looked it up : "vehicles may proceed if all pedestrians using the crossing have finished crossing the road. If pedestrians who have already started crossing have not finished doing so, drivers should wait for them to reach the other side before moving, even if this requires them to wait after the lights have turned green."