From a6b6be94f928a00b0c57c8da6fe9afe0c2164821 Mon Sep 17 00:00:00 2001
From: Svornost <11434-svornost@users.noreply.gitgud.io>
Date: Tue, 27 Apr 2021 14:21:23 -0700
Subject: [PATCH] Delete isFloat because it's stupid and nobody's using it
 (thankfully)

---
 js/utils.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/js/utils.js b/js/utils.js
index 4f12699266a..09a51932aa4 100644
--- a/js/utils.js
+++ b/js/utils.js
@@ -13,14 +13,6 @@ function jsDef(x) {
 	return !(typeof x === "undefined" || x === null || x === undefined);
 }
 
-/**
- * @param {number} n
- * @returns {boolean}
- */
-function isFloat(n) {
-	return Number.isFinite(n) && Math.floor(n) !== n;
-}
-
 /**
  * Determines if a is between low and high
  * @param {number} a
-- 
GitLab