Editor for changing the WebSocket URL used for server-side graphs, refs #10