Are you sure you want to delete the file WebSocket.php?
| Name | Size | Permission | Action |
|---|---|---|---|
| bin | --- | 0755 | |
| ConnectionContext.php | 3431 bytes | 0644 | |
| EventInterface.php | 575 bytes | 0644 | |
| EventListener.php | 1223 bytes | 0644 | |
| HotReload.php | 2167 bytes | 0644 | |
| InnerSocket.php | 2999 bytes | 0644 | |
| InnerSocketClient.php | 2054 bytes | 0644 | |
| ServiceRestart.php | 855 bytes | 0644 | |
| SocketServerFactory.php | 1223 bytes | 0644 | |
| WebSocket.php | 3759 bytes | 0644 |