I still think these would be more accurately represented as crossing=traffic_signals (as there are *traffic* signals here), but Pete Owens will revert that change if I make it. At least adding button_operated= and crossing:signals=no makes things a bit clearer.

crossing:signals=shared from https://wiki.openstreetmap.org/wiki/Proposal:Crossing_signalization would make things clearer still, but that tagging is still a proposal.