We no longer need firefox proxy since we can just use sockets now. So we can get rid of `webSocketConnection` and the code related to this option. It is currently used at these places: https://github.com/devtools-html/devtools-core/search?utf8=%E2%9C%93&q=webSocketConnection&type=
We no longer need firefox proxy since we can just use sockets now. So we can get rid of
webSocketConnectionand the code related to this option.It is currently used at these places: https://github.com/devtools-html/devtools-core/search?utf8=%E2%9C%93&q=webSocketConnection&type=