private function validate_socket_id($socket_id) { if ($socket_id !== null && !preg_match('/\\A\\d+\\.\\d+\\z/', $socket_id)) { throw new PusherException('Invalid socket ID ' . $socket_id); } }