I managed to install the extension, and since I'm using nginx as a reverse proxy for Websockets I also changed the
config.php by adding:
'websocket' => array(
'js-client-port' => 443,
'js-client-secure' => true
(^these should really be documented 🙂)
After starting the websocket server, I see activity in the logs, with users subscribing, events etc., however, from the client perspective I see no realtime updates happening (no message is received in the browser websocket channel). Is there something else I'm missing?
Both the PHP websocket server and the actual Flarum application run on the same host, so localhost:6001 should be accessible from the host itself.