Workerman websocket请求如何获取用户传入的query参数

$ws = new Worker('websocket://0.0.0.0:8181');

$connection->onWebSocketConnect = function($connection , $http_header)
{
    echo $_GET['token '];
};