Rename WebSocket file (#82930)

Commit

126 days ago

Rename WebSocket file (#82930) Renaming the file in a separate commit to allow git to track the upcoming changes more easily.