From 016c321484a7ee78a58c80ec08c9e98a24d73ad3 Mon Sep 17 00:00:00 2001
From: Juliusz Chroboczek <jch@irif.fr>
Date: Fri, 26 Feb 2021 16:22:55 +0100
Subject: [PATCH] Fix typing of userMessage value.

---
 static/protocol.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/protocol.js b/static/protocol.js
index a4e0564..ae1846b 100644
--- a/static/protocol.js
+++ b/static/protocol.js
@@ -523,7 +523,7 @@ ServerConnection.prototype.userAction = function(kind, dest, value) {
  *
  * @param {string} kind - The kind of application-specific message.
  * @param {string} dest - The id to send the message to, empty for broadcast.
- * @param {string} [value] - An optional parameter.
+ * @param {unknown} [value] - An optional parameter.
  * @param {boolean} [noecho] - If set, don't echo back the message to the sender.
  */
 ServerConnection.prototype.userMessage = function(kind, dest, value, noecho) {