From ea22737395b6bf5371f46a4ad3f2d820c57015cb Mon Sep 17 00:00:00 2001
From: Libor Polčák <ipolcak@fit.vutbr.cz>
Date: Jan 13 2022 16:06:44 +0000
Subject: update.js: Fix versions so that the settings is really updated


Decimal numbers do not work as used previously

---

diff --git a/common/update.js b/common/update.js
index b092d82..0129526 100644
--- a/common/update.js
+++ b/common/update.js
@@ -176,16 +176,16 @@ function installUpdate() {
 			}
 			item.version = 2.9;
 		}
-		if (item.version < 2.10) {
+		if (item.version < 3) {
 			for (level in item["custom_levels"]) {
 				let l = item["custom_levels"][level];
 				if (l.gamepads) {
 					l.vr = true;
 				}
 			}
-			item.version = 2.10;
+			item.version = 3;
 		}
-		if (item.version < 2.11) {
+		if (item.version < 4) {
 			for (level in item["custom_levels"]) {
 				let l = item["custom_levels"][level];
 				if (l.hardware || l.battery || l.windowname) {
@@ -193,11 +193,11 @@ function installUpdate() {
 					l.physical_environment_emulateStationaryDevice = true;
 				}
 			}
-			item.version = 2.11;
+			item.version = 4;
 		}
-		if (item.version < 2.12) {
+		if (item.version < 5) {
 			item.fpDetectionOn = false;
-			item.version = 2.12;
+			item.version = 5;
 		}
 		browser.storage.sync.set(item);
 	});