Exodus4D 2701ea4b6c - improved /setup page for WebSocket config check, #420 ...

- improved /setup page for Redis server config check,

2017-01-09 21:01:24 +01:00

..

config.php

- part 1/2 WIP added WebSocket extension, #420

2017-01-05 22:15:12 +01:00

socket.php

- improved /setup page for WebSocket config check, #420

2017-01-09 21:01:24 +01:00

util.php

- added JS files for 1.2.0

2016-11-26 22:15:05 +01:00

web.php

- improved CREST error logging (character location errors), closed #288

2016-08-22 20:17:00 +02:00