Function formatTime

scripts/ggdrive_downloadPdf.js:93–95

(ms)

          let startTime = Date.now();
          function formatTime(ms) {
            return new Date(ms).toISOString().slice(11, 19);
          }
          function getTime() {
            return formatTime(Date.now() - startTime);
          }