Remove unused decimal_time_to_string.

1 files changed, 0 insertions, 9 deletions

diff --git a/static/script.js b/static/script.js
index 9b720a0b..ea1b057d 100644
--- a/static/script.js
+++ b/static/script.js
@@ -20,15 +20,6 @@ function parents_until (element, obj) {
     }
 }
 
-function decimal_time_to_string (time) {
-    let hour = Math.floor(time);
-    if (hour < 10) {
-        hour = '0' + hour;
-    }
-    let minute = String((time - Math.floor(time)) * 60).padStart(2, 0);
-    return "" + hour + ":" + minute;
-}
-
 function decimal_time_to_date (time) {
     let hour = Math.floor(time);
     let minute = (time - hour) * 60;