From 5b27be4b8d2e4551dc3514bbc52382861061edc0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Sun, 12 Jul 2020 01:11:57 +0200 Subject: Remove unused decimal_time_to_string. --- static/script.js | 9 --------- 1 file changed, 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; -- cgit v1.2.3