From afba7b12c42411509d89aa9ddc644aa23294533e Mon Sep 17 00:00:00 2001
From: Laurent Mazet <mazet@softndesign.org>
Date: Tue, 20 Apr 2021 22:06:24 +0200
Subject: [PATCH] reorder SettingTypes and remove unused Timer

---
 public/trivabble.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/public/trivabble.js b/public/trivabble.js
index f05655b..b191b50 100644
--- a/public/trivabble.js
+++ b/public/trivabble.js
@@ -153,13 +153,12 @@
     }
 
     const SettingsTypes = {
-        SpellCheckerEnabledOnce: "boolean",
+        BoardLang: "string",
         DisableSpellChecker: "boolean",
         GameNumber: "number",
-        BoardLang: "string",
         Lang: "string",
         PlayerName: "string",
-        Timer: "number",
+        SpellCheckerEnabledOnce: "boolean",
         TimerGameDate: "number",
         TimerTurnDate: "number",
     };